Full variable assignments
Double click to show/hide

Method calls quick lookup:
0: main 🔍
1: safeAssumptions
2: PoolHarness.asset
3: PoolHarness.underlyingAllowance
112: Asset.allowance
111: DummyERC20A.allowance
110: DummyERC20B.allowance
109: DummyERC20Impl.allowance
108: DummyWeth.allowance
107: ERC20Basic.allowance
106: FTT.allowance
105: PoolHarness.allowance
104: SushiToken.allowance
103: USDC.allowance
4: USDT.allowance
5: PoolHarness.underlyingAllowance
102: Asset.allowance
101: DummyERC20A.allowance
100: DummyERC20B.allowance
99: DummyERC20Impl.allowance
98: DummyWeth.allowance
97: ERC20Basic.allowance
96: FTT.allowance
95: PoolHarness.allowance
94: SushiToken.allowance
93: USDC.allowance
6: USDT.allowance
7: PoolHarness.flashLoan
92: Asset.transferFrom
91: DummyERC20A.transferFrom
90: DummyERC20B.transferFrom
89: DummyERC20Impl.transferFrom
88: DummyWeth.transferFrom
87: ERC20Basic.transferFrom
86: FTT.transferFrom
85: PoolHarness.transferFrom
84: SushiToken.transferFrom
83: USDC.transferFrom
8: USDT.transferFrom
46: FlexibleReceiver.executeOperation
82: Asset.approve
81: DummyERC20A.approve
80: DummyERC20B.approve
79: DummyERC20Impl.approve
78: DummyWeth.approve
77: ERC20Basic.approve
76: FTT.approve
75: PoolHarness.approve
74: SushiToken.approve
73: USDC.approve
72: USDT.approve
71: Asset.transfer
70: DummyERC20A.transfer
69: DummyERC20B.transfer
68: DummyERC20Impl.transfer
67: DummyWeth.transfer
66: ERC20Basic.transfer
65: FTT.transfer
64: PoolHarness.transfer
63: SushiToken.transfer
62: USDC.transfer
61: USDT.transfer
60: DummyWeth.withdraw
59: PoolHarness.withdraw
58: Asset.transferFrom
57: DummyERC20A.transferFrom
56: DummyERC20B.transferFrom
55: DummyERC20Impl.transferFrom
54: DummyWeth.transferFrom
53: ERC20Basic.transferFrom
52: FTT.transferFrom
51: PoolHarness.transferFrom
50: SushiToken.transferFrom
49: USDC.transferFrom
48: USDT.transferFrom
47: PoolHarness.deposit
34: TransferReceiver.executeOperation
45: Asset.transferFrom
44: DummyERC20A.transferFrom
43: DummyERC20B.transferFrom
42: DummyERC20Impl.transferFrom
41: DummyWeth.transferFrom
40: ERC20Basic.transferFrom
39: FTT.transferFrom
38: PoolHarness.transferFrom
37: SushiToken.transferFrom
36: USDC.transferFrom
35: USDT.transferFrom
10: TrivialReceiver.executeOperation
33: Asset.transferFrom
32: DummyERC20A.transferFrom
31: DummyERC20B.transferFrom
30: DummyERC20Impl.transferFrom
29: DummyWeth.transferFrom
28: ERC20Basic.transferFrom
27: FTT.transferFrom
26: PoolHarness.transferFrom
25: SushiToken.transferFrom
24: USDC.transferFrom
11: USDT.transferFrom
12: PoolHarness.underlyingAllowance
23: Asset.allowance
22: DummyERC20A.allowance
21: DummyERC20B.allowance
20: DummyERC20Impl.allowance
19: DummyWeth.allowance
18: ERC20Basic.allowance
17: FTT.allowance
16: PoolHarness.allowance
15: SushiToken.allowance
14: USDC.allowance
13: USDT.allowance
PresolverRule-noAllowance_preserve-flashLoan(address,uint256)_main 0_0_0_0_0_0 0_0_0_0_0_0 1: safeAssumptions 1: safeAssumptions 0_0_0_0_0_0->1: safeAssumptions 5_0_0_0_0_0 5_0_0_0_0_0 5: PoolHarness.underlyingAllowance 5: PoolHarness.underlyingAllowance 5_0_0_0_0_0->5: PoolHarness.underlyingAllowance 7_0_0_0_0_0 7_0_0_0_0_0 7: PoolHarness.flashLoan 7: PoolHarness.flashLoan 7_0_0_0_0_0->7: PoolHarness.flashLoan 13_0_0_0_0_0 13_0_0_0_0_0 11_0_0_0_0_0 11_0_0_0_0_0 12: PoolHarness.underlyingAllowance 12: PoolHarness.underlyingAllowance 11_0_0_0_0_0->12: PoolHarness.underlyingAllowance 1: safeAssumptions->5_0_0_0_0_0 5: PoolHarness.underlyingAllowance->7_0_0_0_0_0 7: PoolHarness.flashLoan->11_0_0_0_0_0 12: PoolHarness.underlyingAllowance->13_0_0_0_0_0
Block 0_0_0_0_0_0: tacCalldatabufCANON0@4 = havoc
tacCalldatabufCANON0@6 = havoc
tacCalldatabufCANON0@8 = havoc
tacCalldatabufCANON0@10 = havoc
tacCalldatabufCANON0@11 = havoc
tacCalldatabufCANON0@13 = havoc
tacCalldatabufCANON0@14 = havoc
tacCalldatabufCANON0@15 = havoc
tacCalldatabufCANON0@16 = havoc
tacCalldatabufCANON0@17 = havoc
tacCalldatabufCANON0@18 = havoc
tacCalldatabufCANON0@19 = havoc
tacCalldatabufCANON0@20 = havoc
tacCalldatabufCANON0@21 = havoc
tacCalldatabufCANON0@22 = havoc
tacCalldatabufCANON0@23 = havoc
tacCalldatabufCANON0@24 = havoc
tacCalldatabufCANON0@25 = havoc
tacCalldatabufCANON0@26 = havoc
tacCalldatabufCANON0@27 = havoc
tacCalldatabufCANON0@28 = havoc
tacCalldatabufCANON0@29 = havoc
tacCalldatabufCANON0@30 = havoc
tacCalldatabufCANON0@31 = havoc
tacCalldatabufCANON0@32 = havoc
tacCalldatabufCANON0@33 = havoc
tacCalldatabufCANON0@34 = havoc
tacCalldatabufCANON0@35 = havoc
tacCalldatabufCANON0@36 = havoc
tacCalldatabufCANON0@37 = havoc
tacCalldatabufCANON0@38 = havoc
tacCalldatabufCANON0@39 = havoc
tacCalldatabufCANON0@40 = havoc
tacCalldatabufCANON0@41 = havoc
tacCalldatabufCANON0@42 = havoc
tacCalldatabufCANON0@43 = havoc
tacCalldatabufCANON0@44 = havoc
tacCalldatabufCANON0@45 = havoc
tacCalldatabufCANON0@46 = havoc
tacCalldatabufCANON0@47 = havoc
tacCalldatabufCANON0@48 = havoc
tacCalldatabufCANON0@49 = havoc
tacCalldatabufCANON0@50 = havoc
tacCalldatabufCANON0@51 = havoc
tacCalldatabufCANON0@52 = havoc
tacCalldatabufCANON0@53 = havoc
tacCalldatabufCANON0@54 = havoc
tacCalldatabufCANON0@55 = havoc
tacCalldatabufCANON0@56 = havoc
tacCalldatabufCANON0@57 = havoc
tacCalldatabufCANON0@58 = havoc
tacCalldatabufCANON0@59 = havoc
tacCalldatabufCANON0@60 = havoc
tacCalldatabufCANON0@61 = havoc
tacCalldatabufCANON0@62 = havoc
tacCalldatabufCANON0@63 = havoc
tacCalldatabufCANON0@64 = havoc
tacCalldatabufCANON0@65 = havoc
tacCalldatabufCANON0@66 = havoc
tacCalldatabufCANON0@67 = havoc
tacCalldatabufCANON0@68 = havoc
tacCalldatabufCANON0@69 = havoc
tacCalldatabufCANON0@70 = havoc
tacCalldatabufCANON0@71 = havoc
tacCalldatabufCANON0@72 = havoc
tacCalldatabufCANON0@73 = havoc
tacCalldatabufCANON0@74 = havoc
tacCalldatabufCANON0@75 = havoc
tacCalldatabufCANON0@76 = havoc
tacCalldatabufCANON0@77 = havoc
tacCalldatabufCANON0@78 = havoc
tacCalldatabufCANON0@79 = havoc
tacCalldatabufCANON0@80 = havoc
tacCalldatabufCANON0@81 = havoc
tacCalldatabufCANON0@82 = havoc
tacCalldatabufCANON0@83 = havoc
tacCalldatabufCANON0@84 = havoc
tacCalldatabufCANON0@85 = havoc
tacCalldatabufCANON0@86 = havoc
tacCalldatabufCANON0@87 = havoc
tacCalldatabufCANON0@88 = havoc
tacCalldatabufCANON0@89 = havoc
tacCalldatabufCANON0@90 = havoc
tacCalldatabufCANON0@91 = havoc
tacCalldatabufCANON0@92 = havoc
tacCalldatabufCANON0@93 = havoc
tacCalldatabufCANON0@94 = havoc
tacCalldatabufCANON0@95 = havoc
tacCalldatabufCANON0@96 = havoc
tacCalldatabufCANON0@97 = havoc
tacCalldatabufCANON0@98 = havoc
tacCalldatabufCANON0@99 = havoc
tacCalldatabufCANON0@100 = havoc
tacCalldatabufCANON0@101 = havoc
tacCalldatabufCANON0@102 = havoc
tacCalldatabufCANON0@103 = havoc
tacCalldatabufCANON0@104 = havoc
tacCalldatabufCANON0@105 = havoc
tacCalldatabufCANON0@106 = havoc
tacCalldatabufCANON0@107 = havoc
tacCalldatabufCANON0@108 = havoc
tacCalldatabufCANON0@109 = havoc
tacCalldatabufCANON0@110 = havoc
tacCalldatabufCANON0@111 = havoc
tacCalldatabufCANON0@112 = havoc
tacCalldatasize!!0 = havoc
tacCalldatasize!!1 = havoc
tacCalldatasize!!2 = havoc
tacCalldatasize!!3 = havoc
tacCalldatasize!!4 = havoc
tacCalldatasize!!5 = havoc
tacCalldatasize!!6 = havoc
tacCalldatasize!!7 = havoc
tacCalldatasize!!8 = havoc
tacCalldatasize!!9 = havoc
tacCalldatasize!!10 = havoc
tacCalldatasize!!11 = havoc
tacCalldatasize!!12 = havoc
tacCalldatasize!!13 = havoc
tacCalldatasize!!14 = havoc
tacCalldatasize!!15 = havoc
tacCalldatasize!!16 = havoc
tacCalldatasize!!17 = havoc
tacCalldatasize!!18 = havoc
tacCalldatasize!!19 = havoc
tacCalldatasize!!20 = havoc
tacCalldatasize!!21 = havoc
tacCalldatasize!!22 = havoc
tacCalldatasize!!23 = havoc
tacCalldatasize!!24 = havoc
tacCalldatasize!!25 = havoc
tacCalldatasize!!26 = havoc
tacCalldatasize!!27 = havoc
tacCalldatasize!!28 = havoc
tacCalldatasize!!29 = havoc
tacCalldatasize!!30 = havoc
tacCalldatasize!!31 = havoc
tacCalldatasize!!32 = havoc
tacCalldatasize!!33 = havoc
tacCalldatasize!!34 = havoc
tacCalldatasize!!35 = havoc
tacCalldatasize!!36 = havoc
tacCalldatasize!!37 = havoc
tacCalldatasize!!38 = havoc
tacCalldatasize!!39 = havoc
tacCalldatasize!!40 = havoc
tacCalldatasize!!41 = havoc
tacCalldatasize!!42 = havoc
tacCalldatasize!!43 = havoc
tacCalldatasize!!44 = havoc
tacCalldatasize!!45 = havoc
tacCalldatasize!!46 = havoc
tacCalldatasize!!47 = havoc
tacCalldatasize!!48 = havoc
tacCalldatasize!!49 = havoc
tacCalldatasize!!50 = havoc
tacCalldatasize!!51 = havoc
tacCalldatasize!!52 = havoc
tacCalldatasize!!53 = havoc
tacCalldatasize!!54 = havoc
tacCalldatasize!!55 = havoc
tacCalldatasize!!56 = havoc
tacCalldatasize!!57 = havoc
tacCalldatasize!!58 = havoc
tacCalldatasize!!59 = havoc
tacCalldatasize!!60 = havoc
tacCalldatasize!!61 = havoc
tacCalldatasize!!62 = havoc
tacCalldatasize!!63 = havoc
tacCalldatasize!!64 = havoc
tacCalldatasize!!65 = havoc
tacCalldatasize!!66 = havoc
tacCalldatasize!!67 = havoc
tacCalldatasize!!68 = havoc
tacCalldatasize!!69 = havoc
tacCalldatasize!!70 = havoc
tacCalldatasize!!71 = havoc
tacCalldatasize!!72 = havoc
tacCalldatasize!!73 = havoc
tacCalldatasize!!74 = havoc
tacCalldatasize!!75 = havoc
tacCalldatasize!!76 = havoc
tacCalldatasize!!77 = havoc
tacCalldatasize!!78 = havoc
tacCalldatasize!!79 = havoc
tacCalldatasize!!80 = havoc
tacCalldatasize!!81 = havoc
tacCalldatasize!!82 = havoc
tacCalldatasize!!83 = havoc
tacCalldatasize!!84 = havoc
tacCalldatasize!!85 = havoc
tacCalldatasize!!86 = havoc
tacCalldatasize!!87 = havoc
tacCalldatasize!!88 = havoc
tacCalldatasize!!89 = havoc
tacCalldatasize!!90 = havoc
tacCalldatasize!!91 = havoc
tacCalldatasize!!92 = havoc
tacCalldatasize!!93 = havoc
tacCalldatasize!!94 = havoc
tacCalldatasize!!95 = havoc
tacCalldatasize!!96 = havoc
tacCalldatasize!!97 = havoc
tacCalldatasize!!98 = havoc
tacCalldatasize!!99 = havoc
tacCalldatasize!!100 = havoc
tacCalldatasize!!101 = havoc
tacCalldatasize!!102 = havoc
tacCalldatasize!!103 = havoc
tacCalldatasize!!104 = havoc
R105 = havoc
R106 = havoc
R107 = havoc
R108 = havoc
R109 = havoc
R110 = havoc
R111 = havoc
tacExtcodesize!!112 = havoc
CANON109!!113 = havoc
CANON154 = havoc
CANON156 = havoc
CANON190!!114 = havoc
CANON191!!115 = havoc
CANON228!!116 = havoc
CANON233!!117 = havoc
CANON238!!118 = havoc
CANON243!!119 = havoc
CANON248!!120 = havoc
CANON249!!121 = havoc
CANON250!!122 = havoc
CANON251!!123 = havoc
CANON252!!124 = havoc
CANON253!!125 = havoc
CANON254!!126 = havoc
CANON255!!127 = havoc
CANON259!!128 = havoc
CANON269!!129 = havoc
CANON270!!130 = havoc
CANON275!!131 = havoc
CANON284!!132 = havoc
CANON298!!133 = havoc
CANON302!!134 = havoc
CANON322!!135 = havoc
CANON341!!136 = havoc
CANON354!!137 = havoc
CANON363!!138 = havoc
CANON369!!139 = havoc
CANON370!!140 = havoc
CANON371!!141 = havoc
CANON372!!142 = havoc
CANON373!!143 = havoc
CANON374!!144 = havoc
CANON375!!145 = havoc
CANON379!!146 = havoc
CANON383!!147 = havoc
CANON388!!148 = havoc
CANON392!!149 = havoc
CANON395!!150 = havoc
CANON409!!151 = havoc
tacMCANON0!!152 = [i.26620 -> 0x0]
tacMCANON0!!153 = [i.26621 -> 0x0]
tacMCANON0!!154 = [i.26622 -> 0x0]
tacMCANON1!!155 = [i.26623 -> 0x0]
tacMCANON8!!167 = [i.26624 -> 0x0]
tacMCANON8!!168 = [i.26625 -> 0x0]
tacMCANON8!!169 = [i.26626 -> 0x0]
tacMCANON8!!171 = [i.26627 -> 0x0]
tacBalance!!172 = havoc
tacMCANON10!!173 = [i.26628 -> 0x0]
tacMCANON10!!174 = [i.26629 -> 0x0]
tacMCANON10!!175 = [i.26630 -> 0x0]
tacMCANON10!!176 = [i.26631 -> 0x0]
tacMCANON13!!177 = [i.26632 -> 0x0]
tacMCANON13!!178 = [i.26633 -> 0x0]
tacMCANON13!!179 = [i.26634 -> 0x0]
tacMCANON13!!180 = [i.26635 -> 0x0]
tacMCANON19!!196 = [i.26636 -> 0x0]
tacMCANON22!!199 = [i.26637 -> 0x0]
tacMCANON28!!204 = [i.26638 -> 0x0]
tacMCANON31!!206 = [i.26639 -> 0x0]
tacMCANON33!!207 = [i.26640 -> 0x0]
tacMCANON35!!208 = [i.26641 -> 0x0]
tacMCANON43!!214 = [i.26642 -> 0x0]
tacMCANON46!!216 = [i.26643 -> 0x0]
tacMCANON48!!217 = [i.26644 -> 0x0]
tacMCANON50!!218 = [i.26645 -> 0x0]
R219 = havoc
R220 = havoc
R221 = havoc
R222 = havoc
R223 = havoc
R224 = havoc
R225 = havoc
R226 = havoc
R227 = havoc
R228 = havoc
tacSighash!!234 = havoc
tacSighash!!235 = havoc
tacSighash!!236 = havoc
tacSighash!!237 = havoc
tacSighash!!238 = havoc
tacSighash!!239 = havoc
tacSighash!!240 = havoc
tacSighash!!241 = havoc
tacSighash!!242 = havoc
tacSighash!!243 = havoc
tacSighash!!244 = havoc
tacSighash!!245 = havoc
tacSighash!!246 = havoc
tacSighash!!247 = havoc
tacSighash!!248 = havoc
tacSighash!!249 = havoc
tacSighash!!250 = havoc
tacSighash!!251 = havoc
tacSighash!!252 = havoc
tacSighash!!253 = havoc
tacSighash!!254 = havoc
tacSighash!!255 = havoc
tacSighash!!256 = havoc
tacSighash!!257 = havoc
tacSighash!!258 = havoc
tacSighash!!259 = havoc
tacSighash!!260 = havoc
tacSighash!!261 = havoc
tacSighash!!262 = havoc
tacSighash!!263 = havoc
tacSighash!!264 = havoc
tacSighash!!265 = havoc
tacSighash!!266 = havoc
tacSighash!!267 = havoc
tacSighash!!268 = havoc
tacSighash!!269 = havoc
tacSighash!!270 = havoc
tacSighash!!271 = havoc
tacSighash!!272 = havoc
tacSighash!!273 = havoc
tacSighash!!274 = havoc
tacSighash!!275 = havoc
tacSighash!!276 = havoc
tacSighash!!277 = havoc
tacSighash!!278 = havoc
tacSighash!!279 = havoc
tacSighash!!280 = havoc
tacSighash!!281 = havoc
tacSighash!!282 = havoc
tacSighash!!283 = havoc
tacSighash!!284 = havoc
tacSighash!!285 = havoc
tacSighash!!286 = havoc
tacSighash!!287 = havoc
tacSighash!!288 = havoc
tacSighash!!289 = havoc
tacSighash!!290 = havoc
tacSighash!!291 = havoc
tacSighash!!292 = havoc
tacSighash!!293 = havoc
tacSighash!!294 = havoc
tacSighash!!295 = havoc
tacSighash!!296 = havoc
tacSighash!!297 = havoc
tacSighash!!298 = havoc
tacSighash!!299 = havoc
tacSighash!!300 = havoc
tacSighash!!301 = havoc
tacSighash!!302 = havoc
tacSighash!!303 = havoc
tacSighash!!304 = havoc
tacSighash!!305 = havoc
tacSighash!!306 = havoc
tacSighash!!307 = havoc
tacSighash!!308 = havoc
tacSighash!!309 = havoc
tacSighash!!310 = havoc
tacSighash!!311 = havoc
tacSighash!!312 = havoc
tacSighash!!313 = havoc
tacSighash!!314 = havoc
tacSighash!!315 = havoc
tacSighash!!316 = havoc
tacSighash!!317 = havoc
tacSighash!!318 = havoc
tacSighash!!319 = havoc
tacSighash!!320 = havoc
tacSighash!!321 = havoc
tacSighash!!322 = havoc
tacSighash!!323 = havoc
tacSighash!!324 = havoc
tacSighash!!325 = havoc
tacSighash!!326 = havoc
tacSighash!!327 = havoc
tacSighash!!328 = havoc
tacSighash!!329 = havoc
tacSighash!!330 = havoc
tacSighash!!331 = havoc
tacSighash!!332 = havoc
tacSighash!!333 = havoc
tacSighash!!334 = havoc
tacSighash!!335 = havoc
tacSighash!!336 = havoc
tacSighash!!337 = havoc
tacSighash!!338 = havoc
tacSighash!!339 = havoc
tacSighash!!340 = havoc
tacSighash!!341 = havoc
tacSighash!!342 = havoc
tacSighash!!343 = havoc
CANON0 = 0x9d9e465c
CANON1 = false
CANON2 = false
CANON3 = false
CANON4 = 0x2
CANON5 = false
Setup
multi contract setup

rule parameters setup
CANON6 = havoc
assume (CANON6<=MASK160)&&(CANON6>=0x0)
assume true
assume true
CANON8 = havoc
CANON9 = havoc
CANON10 = havoc
CANON11 = havoc
CANON12 = havoc
CANON13 = havoc
CANON14 = havoc
CANON15 = havoc
assume (CANON8<=MASK160)&&(CANON8>=0x0)
assume (CANON9<=MASK256)&&(CANON9>=0x0)
assume (CANON10<=MASK160)&&(CANON10>=0x0)
assume (CANON11<=MASK160)&&(CANON11>=0x0)
assume (CANON12<=MASK256)&&(CANON12>=0x0)
assume (CANON13<=MASK256)&&(CANON13>=0x0)
assume (CANON14<=MASK256)&&(CANON14>=0x0)
assume (CANON15<=MASK256)&&(CANON15>=0x0)

contract address vars initialized

setup read tracking instrumentation

last storage initialize
Take snapshot of storage in lastStorage

assumptions about extcodesize
B354 = tacExtcodesize!!112[to_skey:bif(R220)]>0x0
assume B354
B355 = tacExtcodesize!!112[to_skey:bif(R221)]>0x0
assume B355
B356 = tacExtcodesize!!112[to_skey:bif(R222)]>0x0
assume B356
B357 = tacExtcodesize!!112[to_skey:bif(R223)]>0x0
assume B357
B358 = tacExtcodesize!!112[to_skey:bif(R224)]>0x0
assume B358
B359 = tacExtcodesize!!112[to_skey:bif(R225)]>0x0
assume B359
B360 = tacExtcodesize!!112[to_skey:bif(R226)]>0x0
assume B360
B361 = tacExtcodesize!!112[to_skey:bif(R227)]>0x0
assume B361
B362 = tacExtcodesize!!112[to_skey:bif(R219)]>0x0
assume B362
B363 = tacExtcodesize!!112[to_skey:bif(R228)]>0x0
assume B363
B364 = tacExtcodesize!!112[to_skey:bif(R105)]>0x0
assume B364
B365 = tacExtcodesize!!112[to_skey:bif(R106)]>0x0
assume B365
B366 = tacExtcodesize!!112[to_skey:bif(R107)]>0x0
assume B366
B367 = tacExtcodesize!!112[to_skey:bif(R108)]>0x0
assume B367

assumptions about contracts' addresses
assume R220>0x0
assume R220<=MASK160
assume R221>0x0
assume R221<=MASK160
assume R222>0x0
assume R222<=MASK160
assume R223>0x0
assume R223<=MASK160
assume R224>0x0
assume R224<=MASK160
assume R225>0x0
assume R225<=MASK160
assume R226>0x0
assume R226<=MASK160
assume R227>0x0
assume R227<=MASK160
assume R219>0x0
assume R219<=MASK160
assume R228>0x0
assume R228<=MASK160
assume R105>0x0
assume R105<=MASK160
assume R106>0x0
assume R106<=MASK160
assume R107>0x0
assume R107<=MASK160
assume R108>0x0
assume R108<=MASK160
assume true
assume true
assume true
assume true
assume true
assume true
assume true
assume true
assume true
assume true
assume true
assume true
assume true
assume true
assume true
assume true
assume true
assume true
assume true
assume true
assume true
assume true
assume true
assume true
assume true
assume true
assume true
assume true
assume true
assume true
assume true
assume true

assumptions about starting balances
R396 = tacBalance!!172[to_skey:bif(R220)]
assume R396>=0x0
R398 = tacBalance!!172[to_skey:bif(R221)]
assume R398>=0x0
R400 = tacBalance!!172[to_skey:bif(R222)]
assume R400>=0x0
R402 = tacBalance!!172[to_skey:bif(R223)]
assume R402>=0x0
R404 = tacBalance!!172[to_skey:bif(R224)]
assume R404>=0x0
R406 = tacBalance!!172[to_skey:bif(R225)]
assume R406>=0x0
R408 = tacBalance!!172[to_skey:bif(R226)]
assume R408>=0x0
R410 = tacBalance!!172[to_skey:bif(R227)]
assume R410>=0x0
R412 = tacBalance!!172[to_skey:bif(R219)]
assume R412>=0x0
R414 = tacBalance!!172[to_skey:bif(R228)]
assume R414>=0x0
R416 = tacBalance!!172[to_skey:bif(R105)]
assume R416>=0x0
R418 = tacBalance!!172[to_skey:bif(R106)]
assume R418>=0x0
R420 = tacBalance!!172[to_skey:bif(R107)]
assume R420>=0x0
R422 = tacBalance!!172[to_skey:bif(R108)]
assume R422>=0x0
R424 = tacBalance!!172[to_skey:bif(R109)]
assume R424>=0x0
R426 = tacBalance!!172[to_skey:bif(R110)]
assume R426>=0x0
R428 = tacBalance!!172[skey_basic:bif(0x3)]
assume R428>=0x0
R430 = tacBalance!!172[to_skey:bif(R111)]
assume R430>=0x0
R432 = tacBalance!!172[skey_basic:bif(0x5)]
assume R432>=0x0
R434 = tacBalance!!172[skey_basic:bif(0x6)]
assume R434>=0x0
R436 = tacBalance!!172[skey_basic:bif(0x7)]
assume R436>=0x0
R438 = tacBalance!!172[skey_basic:bif(0x8)]
assume R438>=0x0
R440 = tacBalance!!172[skey_basic:bif(0xf4)]
assume R440>=0x0
R442 = tacBalance!!172[skey_basic:bif(0xf5)]
assume R442>=0x0
R444 = tacBalance!!172[skey_basic:bif(0xf6)]
assume R444>=0x0
R446 = tacBalance!!172[skey_basic:bif(0xf7)]
assume R446>=0x0
R448 = tacBalance!!172[skey_basic:bif(0xf8)]
assume R448>=0x0
R450 = tacBalance!!172[skey_basic:bif(0xf9)]
assume R450>=0x0
R452 = tacBalance!!172[skey_basic:bif(0xfa)]
assume R452>=0x0
R454 = tacBalance!!172[skey_basic:bif(0xfb)]
assume R454>=0x0
R456 = tacBalance!!172[skey_basic:bif(0xfc)]
assume R456>=0x0
R458 = tacBalance!!172[skey_basic:bif(0xfd)]
assume R458>=0x0
R460 = tacBalance!!172[skey_basic:bif(0xfe)]
assume R460>=0x0

assumptions about static addresses

assumptions about uniqueness of contracts' addressses
assume !(R220==R221)
assume !(R220==R222)
assume !(R220==R223)
assume !(R220==R224)
assume !(R220==R225)
assume !(R220==R226)
assume !(R220==R227)
assume !(R220==R219)
assume !(R220==R228)
assume !(R220==R105)
assume !(R220==R106)
assume !(R220==R107)
assume !(R220==R108)
assume !(R220==0x3)
assume !(R220==0x5)
assume !(R220==0x6)
assume !(R220==0x7)
assume !(R220==0x8)
assume !(R220==0xf4)
assume !(R220==0xf5)
assume !(R220==0xf6)
assume !(R220==0xf7)
assume !(R220==0xf8)
assume !(R220==0xf9)
assume !(R220==0xfa)
assume !(R220==0xfb)
assume !(R220==0xfc)
assume !(R220==0xfd)
assume !(R220==0xfe)
assume !(R221==R222)
assume !(R221==R223)
assume !(R221==R224)
assume !(R221==R225)
assume !(R221==R226)
assume !(R221==R227)
assume !(R221==R219)
assume !(R221==R228)
assume !(R221==R105)
assume !(R221==R106)
assume !(R221==R107)
assume !(R221==R108)
assume !(R221==0x3)
assume !(R221==0x5)
assume !(R221==0x6)
assume !(R221==0x7)
assume !(R221==0x8)
assume !(R221==0xf4)
assume !(R221==0xf5)
assume !(R221==0xf6)
assume !(R221==0xf7)
assume !(R221==0xf8)
assume !(R221==0xf9)
assume !(R221==0xfa)
assume !(R221==0xfb)
assume !(R221==0xfc)
assume !(R221==0xfd)
assume !(R221==0xfe)
assume !(R222==R223)
assume !(R222==R224)
assume !(R222==R225)
assume !(R222==R226)
assume !(R222==R227)
assume !(R222==R219)
assume !(R222==R228)
assume !(R222==R105)
assume !(R222==R106)
assume !(R222==R107)
assume !(R222==R108)
assume !(R222==0x3)
assume !(R222==0x5)
assume !(R222==0x6)
assume !(R222==0x7)
assume !(R222==0x8)
assume !(R222==0xf4)
assume !(R222==0xf5)
assume !(R222==0xf6)
assume !(R222==0xf7)
assume !(R222==0xf8)
assume !(R222==0xf9)
assume !(R222==0xfa)
assume !(R222==0xfb)
assume !(R222==0xfc)
assume !(R222==0xfd)
assume !(R222==0xfe)
assume !(R223==R224)
assume !(R223==R225)
assume !(R223==R226)
assume !(R223==R227)
assume !(R223==R219)
assume !(R223==R228)
assume !(R223==R105)
assume !(R223==R106)
assume !(R223==R107)
assume !(R223==R108)
assume !(R223==0x3)
assume !(R223==0x5)
assume !(R223==0x6)
assume !(R223==0x7)
assume !(R223==0x8)
assume !(R223==0xf4)
assume !(R223==0xf5)
assume !(R223==0xf6)
assume !(R223==0xf7)
assume !(R223==0xf8)
assume !(R223==0xf9)
assume !(R223==0xfa)
assume !(R223==0xfb)
assume !(R223==0xfc)
assume !(R223==0xfd)
assume !(R223==0xfe)
assume !(R224==R225)
assume !(R224==R226)
assume !(R224==R227)
assume !(R224==R219)
assume !(R224==R228)
assume !(R224==R105)
assume !(R224==R106)
assume !(R224==R107)
assume !(R224==R108)
assume !(R224==0x3)
assume !(R224==0x5)
assume !(R224==0x6)
assume !(R224==0x7)
assume !(R224==0x8)
assume !(R224==0xf4)
assume !(R224==0xf5)
assume !(R224==0xf6)
assume !(R224==0xf7)
assume !(R224==0xf8)
assume !(R224==0xf9)
assume !(R224==0xfa)
assume !(R224==0xfb)
assume !(R224==0xfc)
assume !(R224==0xfd)
assume !(R224==0xfe)
assume !(R225==R226)
assume !(R225==R227)
assume !(R225==R219)
assume !(R225==R228)
assume !(R225==R105)
assume !(R225==R106)
assume !(R225==R107)
assume !(R225==R108)
assume !(R225==0x3)
assume !(R225==0x5)
assume !(R225==0x6)
assume !(R225==0x7)
assume !(R225==0x8)
assume !(R225==0xf4)
assume !(R225==0xf5)
assume !(R225==0xf6)
assume !(R225==0xf7)
assume !(R225==0xf8)
assume !(R225==0xf9)
assume !(R225==0xfa)
assume !(R225==0xfb)
assume !(R225==0xfc)
assume !(R225==0xfd)
assume !(R225==0xfe)
assume !(R226==R227)
assume !(R226==R219)
assume !(R226==R228)
assume !(R226==R105)
assume !(R226==R106)
assume !(R226==R107)
assume !(R226==R108)
assume !(R226==0x3)
assume !(R226==0x5)
assume !(R226==0x6)
assume !(R226==0x7)
assume !(R226==0x8)
assume !(R226==0xf4)
assume !(R226==0xf5)
assume !(R226==0xf6)
assume !(R226==0xf7)
assume !(R226==0xf8)
assume !(R226==0xf9)
assume !(R226==0xfa)
assume !(R226==0xfb)
assume !(R226==0xfc)
assume !(R226==0xfd)
assume !(R226==0xfe)
assume !(R227==R219)
assume !(R227==R228)
assume !(R227==R105)
assume !(R227==R106)
assume !(R227==R107)
assume !(R227==R108)
assume !(R227==0x3)
assume !(R227==0x5)
assume !(R227==0x6)
assume !(R227==0x7)
assume !(R227==0x8)
assume !(R227==0xf4)
assume !(R227==0xf5)
assume !(R227==0xf6)
assume !(R227==0xf7)
assume !(R227==0xf8)
assume !(R227==0xf9)
assume !(R227==0xfa)
assume !(R227==0xfb)
assume !(R227==0xfc)
assume !(R227==0xfd)
assume !(R227==0xfe)
assume !(R219==R228)
assume !(R219==R105)
assume !(R219==R106)
assume !(R219==R107)
assume !(R219==R108)
assume !(R219==0x3)
assume !(R219==0x5)
assume !(R219==0x6)
assume !(R219==0x7)
assume !(R219==0x8)
assume !(R219==0xf4)
assume !(R219==0xf5)
assume !(R219==0xf6)
assume !(R219==0xf7)
assume !(R219==0xf8)
assume !(R219==0xf9)
assume !(R219==0xfa)
assume !(R219==0xfb)
assume !(R219==0xfc)
assume !(R219==0xfd)
assume !(R219==0xfe)
assume !(R228==R105)
assume !(R228==R106)
assume !(R228==R107)
assume !(R228==R108)
assume !(R228==0x3)
assume !(R228==0x5)
assume !(R228==0x6)
assume !(R228==0x7)
assume !(R228==0x8)
assume !(R228==0xf4)
assume !(R228==0xf5)
assume !(R228==0xf6)
assume !(R228==0xf7)
assume !(R228==0xf8)
assume !(R228==0xf9)
assume !(R228==0xfa)
assume !(R228==0xfb)
assume !(R228==0xfc)
assume !(R228==0xfd)
assume !(R228==0xfe)
assume !(R105==R106)
assume !(R105==R107)
assume !(R105==R108)
assume !(R105==0x3)
assume !(R105==0x5)
assume !(R105==0x6)
assume !(R105==0x7)
assume !(R105==0x8)
assume !(R105==0xf4)
assume !(R105==0xf5)
assume !(R105==0xf6)
assume !(R105==0xf7)
assume !(R105==0xf8)
assume !(R105==0xf9)
assume !(R105==0xfa)
assume !(R105==0xfb)
assume !(R105==0xfc)
assume !(R105==0xfd)
assume !(R105==0xfe)
assume !(R106==R107)
assume !(R106==R108)
assume !(R106==0x3)
assume !(R106==0x5)
assume !(R106==0x6)
assume !(R106==0x7)
assume !(R106==0x8)
assume !(R106==0xf4)
assume !(R106==0xf5)
assume !(R106==0xf6)
assume !(R106==0xf7)
assume !(R106==0xf8)
assume !(R106==0xf9)
assume !(R106==0xfa)
assume !(R106==0xfb)
assume !(R106==0xfc)
assume !(R106==0xfd)
assume !(R106==0xfe)
assume !(R107==R108)
assume !(R107==0x3)
assume !(R107==0x5)
assume !(R107==0x6)
assume !(R107==0x7)
assume !(R107==0x8)
assume !(R107==0xf4)
assume !(R107==0xf5)
assume !(R107==0xf6)
assume !(R107==0xf7)
assume !(R107==0xf8)
assume !(R107==0xf9)
assume !(R107==0xfa)
assume !(R107==0xfb)
assume !(R107==0xfc)
assume !(R107==0xfd)
assume !(R107==0xfe)
assume !(R108==0x3)
assume !(R108==0x5)
assume !(R108==0x6)
assume !(R108==0x7)
assume !(R108==0x8)
assume !(R108==0xf4)
assume !(R108==0xf5)
assume !(R108==0xf6)
assume !(R108==0xf7)
assume !(R108==0xf8)
assume !(R108==0xf9)
assume !(R108==0xfa)
assume !(R108==0xfb)
assume !(R108==0xfc)
assume !(R108==0xfd)
assume !(R108==0xfe)
assume true
assume true
assume true
assume true
assume true
assume true
assume true
assume true
assume true
assume true
assume true
assume true
assume true
assume true
assume true
assume true
assume true
assume true
assume true
assume true
assume true
assume true
assume true
assume true
assume true
assume true
assume true
assume true
assume true
assume true
assume true
assume true
assume true
assume true
assume true
assume true
assume true
assume true
assume true
assume true
assume true
assume true
assume true
assume true
assume true
assume true
assume true
assume true
assume true
assume true
assume true
assume true
assume true
assume true
assume true
assume true
assume true
assume true
assume true
assume true
assume true
assume true
assume true
assume true
assume true
assume true
assume true
assume true
assume true
assume true
assume true
assume true
assume true
assume true
assume true
assume true
assume true
assume true
assume true
assume true
assume true
assume true
assume true
assume true
assume true
assume true
assume true
assume true
assume true
assume true
assume true
assume true
assume true
assume true
assume true
assume true
assume true
assume true
assume true
assume true
assume true
assume true
assume true
assume true
assume true
assume true
assume true
assume true
assume true
assume true
assume true
assume true
assume true
assume true
assume true
assume true
assume true
assume true
assume true
assume true

record starting nonces

cloned contracts have no balances

Linked immutable setup


Preserved block start

Block 5_0_0_0_0_0:
assume invariant in pre-state
I915 = CANON6

Block 7_0_0_0_0_0: assume !false
assume !false
Take snapshot of storage in lastStorage
CANON147!!916 = R1110==0x0
assume CANON147!!916

check effects of step taken by one of the functions
R923 = CANON156
Solidity call 7
assume R923>=0x44
assume MASK255>=R923
R927 = CANON154[0x4]
tacCalldatabufCANON1@7 = R927
R928 = CANON154[0x24]
tacCalldatabufCANON2@7 = R928
B930 = (MASK256>=CANON8)&&(0x0<=CANON8)
assert B930, sanity bounds check on cvl to vm encoding of tacTmp!23875:int failed
R931 = safe_math_narrow:bif(CANON8)
assume (R931<=MASK160)&&(R931>=0x0)
B935 = (MASK256>=CANON9)&&(0x0<=CANON9)
assert B935, sanity bounds check on cvl to vm encoding of tacTmp!23878:int failed
R936 = safe_math_narrow:bif(CANON9)
assume (R936<=MASK256)&&(R936>=0x0)
B941 = (MASK256>=CANON10)&&(0x0<=CANON10)
assert B941, sanity bounds check on cvl to vm encoding of tacTmp!23882:int failed
R942 = safe_math_narrow:bif(CANON10)
assume (R942<=MASK160)&&(R942>=0x0)
B946 = (MASK256>=CANON14)&&(0x0<=CANON14)
assert B946, sanity bounds check on cvl to vm encoding of tacTmp!23885:int failed
R947 = safe_math_narrow:bif(CANON14)
assume (R947<=MASK256)&&(R947>=0x0)
B951 = (MASK256>=CANON15)&&(0x0<=CANON15)
assert B951, sanity bounds check on cvl to vm encoding of tacTmp!23888:int failed
R952 = safe_math_narrow:bif(CANON15)
assume (R952<=MASK256)&&(R952>=0x0)
B956 = (MASK256>=CANON9)&&(0x0<=CANON9)
assert B956, sanity bounds check on cvl to vm encoding of tacTmp!23891:int failed
R957 = safe_math_narrow:bif(CANON9)
B959 = (MASK256>=CANON8)&&(0x0<=CANON8)
assert B959, sanity bounds check on cvl to vm encoding of tacTmp!23894:int failed
R960 = safe_math_narrow:bif(CANON8)
R963 = tacBalance!!172[to_skey:bif(R960)]
I964 = R963 -int R957
tacBalance!!965 = Store(tacBalance!!172 to_skey:bif(R960) I964)
R966 = tacBalance!!965[to_skey:bif(R219)]
R967 = R966+R957
assume add_noofl:bif(R966,R957)
Transferring R957 from R960 to R219
goto: 0_0_0_7_0_0

Block 13_0_0_0_0_0: assume !false
assume !false
Take snapshot of storage in lastStorage
CANON227!!969 = R1125==0x0
assert CANON227!!969, invariant violated in post-state


Block 11_0_0_0_0_0: Solidity call 7
assume !false
assume !false
Take snapshot of storage in lastStorage

assert invariant in post-state
I1092 = CANON6

Block 1_0_0_1_0_1: ::1: safeAssumptions::

Block 0_0_0_5_0_0: ::5: PoolHarness.underlyingAllowance::

Block 0_0_0_7_0_0: ::7: PoolHarness.flashLoan::

Block 0_0_0_12_0_0: ::12: PoolHarness.underlyingAllowance::
Successor map:
Edge 4401_1008_0_7_2_26 -> 11_0_0_0_0_0: true
Edge 1_0_0_1_0_1 -> 5_0_0_0_0_0:
Edge 0_0_0_5_0_0 -> 7_0_0_0_0_0:
Edge 11_0_0_0_0_0 -> 0_0_0_12_0_0: true
Edge 3558_1012_0_12_2_29 -> 13_0_0_0_0_0: true
Edge 4_0_0_1_0_8 -> 5_0_0_0_0_0: true
Edge 0_0_0_12_0_0 -> 13_0_0_0_0_0:
Edge 7_0_0_0_0_0 -> 0_0_0_7_0_0: true
Edge 5_0_0_0_0_0 -> 0_0_0_5_0_0: true
Edge 0_0_0_0_0_0 -> 1_0_0_1_0_1: true
Edge 0_0_0_7_0_0 -> 11_0_0_0_0_0:
Edge 3558_1012_0_5_2_11 -> 7_0_0_0_0_0: true
Predecessor map:
12907_1008_0_61_0_0 <- 13929_1004_0_61_0_0
100_0_0_88_0_5079 <- 2897_1017_0_88_2_6453 , 0_0_0_88_0_6452 , 3368_1010_0_88_0_0 , 2723_1014_0_88_0_6458 , 3743_1010_0_88_0_6454 , 3743_1010_5_88_0_6455 , 3376_1010_0_88_0_6457 , 3420_1011_0_88_0_0
52_0_0_7_0_0 <- 466_1014_0_46_0_0 , 2108_1008_0_46_0_0 , 661_1014_0_46_0_0 , 2108_1004_0_46_0_0 , 238_1008_0_46_0_0 , 1699_1014_0_46_0_0 , 1054_1008_0_46_0_0 , 0_0_0_46_0_0 , 2108_1005_0_46_0_0 , 850_1008_0_46_0_0 , 2108_1006_0_46_0_0 , 451_1008_0_46_0_0 , 1069_1014_0_46_0_0 , 1658_1014_0_46_0_0 , 2190_1010_0_46_0_0 , 646_1008_0_46_0_0 , 1743_1017_0_46_0_0 , 1119_1018_0_46_0_0 , 53_0_0_46_0_0 , 865_1014_0_46_0_0
30_0_0_7_0_0 <- 30_0_0_27_0_5159 , 4058_1015_0_27_0_0 , 0_0_0_27_0_0
3429_1019_0_24_2_0 <- 32962_1010_1_24_0_0
6908_1011_1_65_0_0 <- 6126_1018_1_65_2_0
28_0_0_26_0_5169 <- 8242_1012_5_26_0_6871 , 8471_1010_0_26_0_0 , 1554_1019_0_26_0_6870 , 1407_1019_0_26_0_6869 , 7165_1017_0_26_0_0
8916_1015_0_37_0_0 <- 8804_1015_0_37_0_0
3743_1011_5_67_0_0 <- 2974_1018_5_67_2_0
8746_1015_0_84_0_0 <- 16922_1010_5_84_0_0
3429_1019_0_36_2_0 <- 32962_1010_1_36_0_0
16434_1012_0_83_0_0 <- 4046_1016_0_83_0_0
59_0_0_53_0_5222 <- 1283_1019_0_53_0_0 , 1500_1019_0_53_0_6680 , 3562_1017_0_53_0_0 , 4056_1015_0_53_0_6681 , 1496_1019_0_53_0_0 , 4056_1015_5_53_0_6682 , 4283_1010_0_53_0_0 , 1359_1019_0_53_0_0
8916_1015_0_50_0_0 <- 8804_1015_0_50_0_0
7107_1018_0_95_2_0 <- 0_0_0_95_0_0
3558_1012_0_5_2_11 <- 107_0_0_5_0_0 , 6_0_0_5_0_0 , 112_0_0_5_0_0 , 105_0_0_5_0_0 , 110_0_0_5_0_0 , 108_0_0_5_0_0 , 113_0_0_5_0_0 , 106_0_0_5_0_0 , 111_0_0_5_0_0 , 109_0_0_5_0_0 , 114_0_0_5_0_0
53_0_0_47_0_5205 <- 7346_1019_0_47_2_0 , 0_0_0_47_0_0
54_0_0_48_0_5265 <- 14864_1010_0_48_0_6711 , 12621_1006_0_48_0_0 , 14864_1010_5_48_0_6712 , 14481_1003_0_48_0_0 , 12861_1005_0_48_0_0 , 12621_1007_0_48_0_0 , 3221_1019_0_48_0_6713 , 14429_1000_0_48_0_0 , 13102_1017_0_48_2_6710 , 13921_1001_0_48_0_0 , 3308_1019_0_48_0_6714 , 0_0_0_48_0_6709 , 11949_1004_0_48_0_0 , 14481_1002_0_48_0_0
14429_1000_0_35_0_0 <- 11914_1005_0_35_2_0
14864_1011_3_72_0_0 <- 13179_1018_5_72_2_0
3429_1019_0_49_2_0 <- 32962_1010_1_49_0_0
854_1008_0_46_2_145 <- 67_0_0_46_0_0 , 72_0_0_46_0_0 , 82_0_0_46_0_0 , 70_0_0_46_0_0 , 80_0_0_46_0_0 , 68_0_0_46_0_0 , 78_0_0_46_0_0 , 76_0_0_46_0_0 , 81_0_0_46_0_0 , 74_0_0_46_0_0 , 79_0_0_46_0_0
7107_1018_0_105_2_0 <- 0_0_0_105_0_0
96_0_0_84_0_5101 <- 16378_1005_0_84_0_0 , 8916_1015_0_84_0_6480 , 16918_1010_0_84_0_0 , 8746_1015_0_84_0_0 , 13526_1017_0_84_0_0 , 16386_1005_0_84_0_6481 , 8140_1015_0_84_0_0 , 9774_1010_0_84_0_0 , 9572_1010_5_84_0_6483 , 8858_1015_0_84_0_0 , 8252_1015_0_84_0_0 , 9832_1010_0_84_0_6482
14429_1000_0_48_0_0 <- 11914_1005_0_48_2_0
42_0_0_36_0_5393 <- 16434_1012_0_36_0_0 , 18110_1007_0_36_0_6816 , 3513_1018_0_36_0_0 , 16676_1012_0_36_0_0 , 24804_1017_0_36_0_0 , 16546_1012_0_36_0_0 , 3988_1016_0_36_0_0 , 18052_1007_0_36_0_0 , 3655_1017_0_36_0_0 , 32958_1010_0_36_0_0 , 16734_1012_0_36_0_6815 , 3371_1019_0_36_0_0 , 32435_1002_0_36_0_0 , 32383_1003_0_36_0_0 , 32435_998_0_36_0_0 , 3797_1016_0_36_0_0
108_0_0_5_0_0 <- 6908_1011_2_96_0_0 , 108_0_0_96_0_5051 , 0_0_0_96_0_0
58_0_0_46_0_0 <- 4058_1015_0_52_0_0 , 58_0_0_52_0_5228 , 0_0_0_52_0_0
110_0_0_5_0_0 <- 110_0_0_98_0_5049 , 3743_1011_3_98_0_0 , 0_0_0_98_0_0
4058_1016_0_76_0_0 <- 4000_1016_0_76_0_0
2311_1013_0_71_0_6547 <- 2311_1013_0_71_0_0
2484_1010_0_33_0_78 <- 2461_1010_5_33_0_0
8916_1015_0_84_0_0 <- 8804_1015_0_84_0_0
116_0_0_104_0_5042 <- 13468_1018_0_104_2_0 , 16922_1011_5_104_0_0 , 0_0_0_104_0_0
61_0_0_55_0_5216 <- 3507_1010_0_55_0_6660 , 3507_1010_5_55_0_6661 , 3140_1010_0_55_0_6663 , 3184_1011_0_55_0_0 , 0_0_0_55_0_6658 , 2528_1014_0_55_0_6664 , 2702_1017_0_55_2_6659 , 3132_1010_0_55_0_0
3429_1019_0_83_2_0 <- 32962_1010_1_83_0_0
2484_1010_0_45_0_78 <- 2461_1010_5_45_0_0
10388_1010_0_8_0_0 <- 12907_1005_5_8_0_0 , 12907_1005_0_8_0_6500
8858_1015_0_25_0_0 <- 8804_1015_0_25_0_0
62_0_0_56_0_5213 <- 2702_1017_0_56_2_6648 , 3132_1010_0_56_0_0 , 3507_1010_0_56_0_6649 , 3507_1010_5_56_0_6650 , 3140_1010_0_56_0_6652 , 3184_1011_0_56_0_0 , 0_0_0_56_0_6647 , 2528_1014_0_56_0_6653
10388_1010_0_11_0_0 <- 12907_1005_5_11_0_0 , 12907_1005_0_11_0_0
79_0_0_68_0_5285 <- 2779_1018_5_68_2_6566 , 3140_1011_0_68_0_6568 , 3184_1012_0_68_0_0 , 3132_1011_0_68_0_0 , 0_0_0_68_0_6565 , 3507_1011_5_68_0_6567
3371_1019_0_24_0_0 <- 32962_1010_1_24_0_0
30_0_0_27_0_5159 <- 5060_1011_5_27_2_0 , 6904_1010_0_27_0_0 , 3996_1015_0_27_0_0 , 4494_1015_0_27_0_0 , 5056_1011_0_27_0_0 , 5056_1012_0_27_0_0 , 4054_1015_0_27_0_0 , 6572_1007_0_27_0_0 , 6580_1006_5_27_0_0 , 3781_1010_0_27_0_0 , 6045_1017_0_27_0_0
314_1018_0_46_0_0 <- 304_1018_0_46_0_0
8858_1015_0_37_0_0 <- 8804_1015_0_37_0_0
2484_1010_0_58_0_78 <- 2461_1010_5_58_0_0
45_0_0_39_0_5371 <- 6045_1017_0_39_0_0 , 5060_1011_5_39_2_6797 , 6904_1010_0_39_0_0 , 3996_1015_0_39_0_0 , 4494_1015_0_39_0_0 , 5056_1011_0_39_0_0 , 5056_1012_0_39_0_0 , 4054_1015_0_39_0_0 , 6572_1007_0_39_0_0 , 6580_1006_5_39_0_6798 , 3781_1010_0_39_0_0
79_0_0_46_0_0 <- 79_0_0_68_0_5285 , 2528_1015_0_68_0_0 , 0_0_0_68_0_0
3371_1019_0_36_0_0 <- 32962_1010_1_36_0_0
1500_1019_0_28_0_0 <- 1363_1019_0_28_0_0
8858_1015_0_50_0_0 <- 8804_1015_0_50_0_0
47_0_0_41_0_5362 <- 3420_1011_0_41_0_0 , 2897_1017_0_41_2_6781 , 0_0_0_41_0_6780 , 3368_1010_0_41_0_0 , 2723_1014_0_41_0_6786 , 3743_1010_0_41_0_6782 , 3743_1010_5_41_0_6783 , 3376_1010_0_41_0_6785
11290_1013_0_61_0_0 <- 12907_1008_0_61_0_0
10388_1010_0_35_0_0 <- 12907_1005_5_35_0_0 , 12907_1005_0_35_0_6828
24_0_0_24_0_5181 <- 16734_1012_0_24_0_0 , 3371_1019_0_24_0_0 , 32435_1002_0_24_0_0 , 32383_1003_0_24_0_0 , 32435_998_0_24_0_0 , 3797_1016_0_24_0_0 , 16434_1012_0_24_0_0 , 18110_1007_0_24_0_0 , 3513_1018_0_24_0_0 , 16676_1012_0_24_0_0 , 24804_1017_0_24_0_0 , 16546_1012_0_24_0_0 , 3988_1016_0_24_0_0 , 18052_1007_0_24_0_0 , 3655_1017_0_24_0_0 , 32958_1010_0_24_0_0
3371_1019_0_49_0_0 <- 32962_1010_1_49_0_0
1500_1019_0_40_0_0 <- 1363_1019_0_40_0_0
10388_1010_0_48_0_0 <- 12907_1005_5_48_0_0 , 12907_1005_0_48_0_6717
11_0_0_0_0_0 <- 4401_1008_0_7_2_26 , 0_0_0_7_0_0
34_0_0_29_0_5150 <- 3368_1010_0_29_0_0 , 2723_1014_0_29_0_0 , 3743_1010_0_29_0_0 , 3743_1010_5_29_0_0 , 3376_1010_0_29_0_0 , 3420_1011_0_29_0_0 , 2897_1017_0_29_2_0 , 0_0_0_29_0_0
1500_1019_0_53_0_0 <- 1363_1019_0_53_0_0
2484_1010_0_92_0_78 <- 2461_1010_5_92_0_0
11859_1018_0_62_0_0 <- 11717_1019_0_62_0_0
95_0_0_83_0_5110 <- 18110_1007_0_83_0_6488 , 3513_1018_0_83_0_0 , 16676_1012_0_83_0_0 , 24804_1017_0_83_0_0 , 16546_1012_0_83_0_0 , 3988_1016_0_83_0_0 , 18052_1007_0_83_0_0 , 3655_1017_0_83_0_0 , 32958_1010_0_83_0_0 , 16734_1012_0_83_0_6487 , 3371_1019_0_83_0_0 , 32435_1002_0_83_0_0 , 32383_1003_0_83_0_0 , 32435_998_0_83_0_0 , 3797_1016_0_83_0_0 , 16434_1012_0_83_0_0
76_0_0_46_0_0 <- 4004_1016_0_66_0_0 , 76_0_0_66_0_5291 , 0_0_0_66_0_0
661_1014_0_46_0_0 <- 650_1008_0_46_2_140
8858_1015_0_84_0_0 <- 8804_1015_0_84_0_0
0_0_0_2_0_2 <- 1_0_0_1_0_1
32958_1011_0_62_0_0 <- 25420_1018_0_62_2_0
118_0_0_3_0_0 <- 0_0_0_106_0_0 , 6908_1011_2_106_0_0 , 118_0_0_106_0_5040
48_0_0_34_0_0 <- 48_0_0_42_0_5359 , 0_0_0_42_0_0 , 3192_1011_5_42_0_0
118_0_0_106_0_5040 <- 0_0_0_106_0_0 , 6908_1011_7_106_0_0 , 5987_1018_0_106_2_0
89_0_0_46_0_0 <- 0_0_0_77_0_0 , 89_0_0_77_0_5337 , 4287_1011_0_77_0_0
3371_1019_0_83_0_0 <- 32962_1010_1_83_0_0
89_0_0_77_0_5337 <- 0_0_0_77_0_0 , 3643_1018_0_77_2_0
95_0_0_7_0_0 <- 32443_1002_0_83_0_0 , 0_0_0_83_0_0 , 95_0_0_83_0_5110
60_0_0_46_0_0 <- 0_0_0_54_0_0 , 60_0_0_54_0_5219 , 3428_1011_5_54_0_0
1500_1019_0_87_0_0 <- 1363_1019_0_87_0_0
3507_1011_3_20_0_0 <- 3507_1011_1_20_0_0
3507_1011_3_21_0_0 <- 3507_1011_1_21_0_0
3507_1011_3_22_0_0 <- 3507_1011_1_22_0_0
60_0_0_54_0_5219 <- 0_0_0_54_0_6669 , 3368_1010_0_54_0_0 , 2723_1014_0_54_0_6675 , 3743_1010_0_54_0_6671 , 3743_1010_5_54_0_6672 , 3376_1010_0_54_0_6674 , 3420_1011_0_54_0_0 , 2897_1017_0_54_2_6670
2_0_0_1_0_3 <- 0_0_0_2_0_2
12907_1008_5_61_0_0 <- 13929_1004_5_61_0_0
14864_1010_0_8_0_6494 <- 14864_1010_0_8_0_0
2897_1017_0_29_2_0 <- 0_0_0_29_0_0
17_0_0_12_0_0 <- 17_0_0_17_0_5062 , 0_0_0_17_0_0 , 6908_1011_2_17_0_0
14864_1010_0_11_0_6883 <- 14864_1010_0_11_0_0
14864_1010_5_8_0_0 <- 14864_1010_0_8_0_0
238_1008_0_46_0_0 <- 2116_1006_0_46_0_0
14864_1010_5_11_0_0 <- 14864_1010_0_11_0_0
2108_1006_0_46_0_0 <- 926_1018_0_46_0_0 , 527_1018_0_46_0_0 , 722_1018_0_46_0_0 , 119_1018_0_46_0_0 , 314_1018_0_46_0_0
2897_1017_0_41_2_0 <- 0_0_0_41_0_0
11801_1018_0_62_0_0 <- 11717_1019_0_62_0_0
650_1008_0_46_2_138 <- 65_0_0_46_0_0 , 66_0_0_46_0_0
104_0_0_92_0_5067 <- 2311_1012_5_92_0_6415 , 802_1019_0_92_0_6413 , 949_1019_0_92_0_6414 , 2457_1010_0_92_0_0 , 1978_1017_0_92_0_0
14864_1010_0_35_0_6822 <- 14864_1010_0_35_0_0
2897_1017_0_54_2_0 <- 0_0_0_54_0_0
74_0_0_65_0_5296 <- 6580_1007_0_65_0_6585 , 3781_1011_0_65_0_0 , 5060_1012_0_65_2_6584 , 6904_1011_0_65_0_0 , 4494_1016_0_65_0_0 , 6122_1018_0_65_0_0 , 5056_1012_0_65_0_0
108_0_0_96_0_5051 <- 6908_1011_7_96_0_0 , 5987_1018_0_96_2_0 , 0_0_0_96_0_0
10_0_0_11_0_5196 <- 14481_1003_0_11_0_0 , 12861_1005_0_11_0_0 , 12621_1007_0_11_0_0 , 3221_1019_0_11_0_6885 , 14429_1000_0_11_0_0 , 13102_1017_0_11_2_6882 , 13921_1001_0_11_0_0 , 3308_1019_0_11_0_6886 , 0_0_0_11_0_6881 , 11949_1004_0_11_0_0 , 14481_1002_0_11_0_0 , 14864_1010_0_11_0_6883 , 12621_1006_0_11_0_0 , 14864_1010_5_11_0_6884
1359_1019_0_28_0_0 <- 1287_1019_0_28_2_0
14864_1010_5_35_0_0 <- 14864_1010_0_35_0_0
2725_1020_0_66_0_6579 <- 2725_1020_0_66_0_0
41_0_0_34_0_0 <- 10388_1010_0_35_0_0 , 0_0_0_35_0_0 , 41_0_0_35_0_5408
97_0_0_7_0_0 <- 97_0_0_85_0_5098 , 0_0_0_85_0_0 , 8051_1012_0_85_0_0
43_0_0_37_0_5384 <- 16378_1005_0_37_0_0 , 8916_1015_0_37_0_6808 , 16918_1010_0_37_0_0 , 8746_1015_0_37_0_0 , 13526_1017_0_37_0_0 , 16386_1005_0_37_0_6809 , 8140_1015_0_37_0_0 , 9774_1010_0_37_0_0 , 9572_1010_5_37_0_6811 , 8858_1015_0_37_0_0 , 8252_1015_0_37_0_0 , 9832_1010_0_37_0_6810
14864_1010_0_48_0_6711 <- 14864_1010_0_48_0_0
1118_1018_0_46_0_0 <- 1703_1014_5_46_2_0 , 1117_1018_0_46_0_5134
1359_1019_0_40_0_0 <- 1287_1019_0_40_2_0
14864_1010_5_48_0_0 <- 14864_1010_0_48_0_0
37_0_0_32_0_5141 <- 3507_1010_0_32_0_0 , 3507_1010_5_32_0_0 , 3140_1010_0_32_0_0 , 3184_1011_0_32_0_0 , 0_0_0_32_0_0 , 2528_1014_0_32_0_0 , 2702_1017_0_32_2_0 , 3132_1010_0_32_0_0
1359_1019_0_53_0_0 <- 1287_1019_0_53_2_0
123_0_0_111_0_5035 <- 3507_1011_1_111_0_0 , 0_0_0_111_0_0 , 2640_1018_0_111_2_0
3713_1017_0_24_0_0 <- 3571_1018_0_24_0_0
3507_1011_3_99_0_0 <- 3507_1011_1_99_0_0
3507_1011_3_100_0_0 <- 3507_1011_1_100_0_0
3507_1011_3_101_0_0 <- 3507_1011_1_101_0_0
2897_1017_0_88_2_0 <- 0_0_0_88_0_0
3507_1011_3_109_0_0 <- 3507_1011_1_109_0_0
4283_1011_0_66_0_0 <- 3643_1018_5_66_2_0
3507_1011_3_110_0_0 <- 3507_1011_1_110_0_0
3713_1017_0_36_0_0 <- 3571_1018_0_36_0_0
3507_1011_3_111_0_0 <- 3507_1011_1_111_0_0
4056_1016_0_66_0_0 <- 2725_1020_0_66_0_0
35_0_0_7_0_0 <- 3192_1011_5_30_0_0 , 35_0_0_30_0_5147 , 0_0_0_30_0_0
3428_1011_0_29_0_0 <- 2525_1015_0_29_2_0
5134_1020_0_61_0_0 <- 5047_1020_0_61_0_0
117_0_0_105_0_5041 <- 7107_1018_0_105_2_0 , 8475_1011_1_105_0_0 , 0_0_0_105_0_0
3713_1017_0_49_0_0 <- 3571_1018_0_49_0_0
3428_1011_0_41_0_0 <- 2525_1015_0_41_2_0
1359_1019_0_87_0_0 <- 1287_1019_0_87_2_0
3428_1011_0_54_0_0 <- 2525_1015_0_54_2_0
3140_1010_0_42_0_6774 <- 3140_1010_0_42_0_0
1058_1008_0_46_2_177 <- 84_0_0_46_0_0 , 89_0_0_46_0_0 , 94_0_0_46_0_0 , 87_0_0_46_0_0 , 92_0_0_46_0_0 , 85_0_0_46_0_0 , 90_0_0_46_0_0 , 88_0_0_46_0_0 , 93_0_0_46_0_0 , 86_0_0_46_0_0 , 91_0_0_46_0_0
3140_1010_0_43_0_6763 <- 3140_1010_0_43_0_0
3140_1010_0_44_0_6752 <- 3140_1010_0_44_0_0
5_0_0_0_0_0 <- 1_0_0_1_0_1 , 4_0_0_1_0_8
16604_1014_0_62_0_0 <- 16492_1014_0_62_0_0
123_0_0_3_0_0 <- 0_0_0_111_0_0 , 3507_1011_3_111_0_0 , 123_0_0_111_0_5035
102_0_0_90_0_5073 <- 2528_1014_0_90_0_6436 , 2702_1017_0_90_2_6431 , 3132_1010_0_90_0_0 , 3507_1010_0_90_0_6432 , 3507_1010_5_90_0_6433 , 3140_1010_0_90_0_6435 , 3184_1011_0_90_0_0 , 0_0_0_90_0_6430
3140_1010_0_55_0_6663 <- 3140_1010_0_55_0_0
3558_1012_0_3_2_7 <- 117_0_0_3_0_0 , 122_0_0_3_0_0 , 115_0_0_3_0_0 , 120_0_0_3_0_0 , 118_0_0_3_0_0 , 123_0_0_3_0_0 , 116_0_0_3_0_0 , 121_0_0_3_0_0 , 3_0_0_3_0_0 , 119_0_0_3_0_0 , 124_0_0_3_0_0
3140_1010_0_56_0_6652 <- 3140_1010_0_56_0_0
3140_1010_0_57_0_6641 <- 3140_1010_0_57_0_0
3713_1017_0_83_0_0 <- 3571_1018_0_83_0_0
5056_1011_0_27_0_0 <- 4498_1015_0_27_0_0
94_0_0_46_0_0 <- 0_0_0_82_0_0 , 94_0_0_82_0_5332 , 2461_1011_0_82_0_0
94_0_0_82_0_5332 <- 0_0_0_82_0_0 , 2059_1018_0_82_2_0
9503_1010_0_8_0_50 <- 12000_1005_0_8_0_0
2055_1018_0_71_0_0 <- 0_0_0_71_0_0
3655_1017_0_24_0_0 <- 3571_1018_0_24_0_0
9503_1010_0_11_0_50 <- 12000_1005_0_11_0_0
5056_1011_0_39_0_0 <- 4498_1015_0_39_0_0
65_0_0_46_0_0 <- 0_0_0_59_0_0 , 65_0_0_59_0_5274
65_0_0_59_0_5274 <- 0_0_0_59_0_0 , 7346_1019_3_59_2_0
56_0_0_50_0_5241 <- 9572_1010_5_50_0_6700 , 8858_1015_0_50_0_0 , 8252_1015_0_50_0_0 , 9832_1010_0_50_0_6699 , 16378_1005_0_50_0_0 , 8916_1015_0_50_0_6697 , 16918_1010_0_50_0_0 , 8746_1015_0_50_0_0 , 13526_1017_0_50_0_0 , 16386_1005_0_50_0_6698 , 8140_1015_0_50_0_0 , 9774_1010_0_50_0_0
3428_1011_0_88_0_0 <- 2525_1015_0_88_2_0
36_0_0_7_0_0 <- 0_0_0_31_0_0 , 3192_1011_5_31_0_0 , 36_0_0_31_0_5144
3655_1017_0_36_0_0 <- 3571_1018_0_36_0_0
36_0_0_31_0_5144 <- 0_0_0_31_0_0 , 2528_1014_0_31_0_0 , 2702_1017_0_31_2_0 , 3132_1010_0_31_0_0 , 3507_1010_0_31_0_0 , 3507_1010_5_31_0_0 , 3140_1010_0_31_0_0 , 3184_1011_0_31_0_0
2330_1015_0_42_2_6773 <- 2330_1015_0_42_2_0
2330_1015_0_43_2_6762 <- 2330_1015_0_43_2_0
2330_1015_0_44_2_6751 <- 2330_1015_0_44_2_0
5056_1011_0_52_0_0 <- 4498_1015_0_52_0_0
42_0_0_34_0_0 <- 32443_1002_0_36_0_0 , 0_0_0_36_0_0 , 42_0_0_36_0_5393
7_0_0_0_0_0 <- 0_0_0_5_0_0 , 3558_1012_0_5_2_11
3140_1010_0_89_0_6446 <- 3140_1010_0_89_0_0
3140_1010_0_90_0_6435 <- 3140_1010_0_90_0_0
3507_1011_5_68_0_6567 <- 3507_1011_5_68_0_0
9503_1010_0_35_0_50 <- 12000_1005_0_35_0_0
3140_1010_0_91_0_6424 <- 3140_1010_0_91_0_0
3655_1017_0_49_0_0 <- 3571_1018_0_49_0_0
3507_1011_5_69_0_6560 <- 3507_1011_5_69_0_0
2330_1015_0_55_2_6662 <- 2330_1015_0_55_2_0
3507_1011_5_70_0_6553 <- 3507_1011_5_70_0_0
2330_1015_0_56_2_6651 <- 2330_1015_0_56_2_0
2330_1015_0_57_2_6640 <- 2330_1015_0_57_2_0
10040_1010_0_8_0_0 <- 12907_1005_0_8_0_0
14864_1010_5_8_0_6495 <- 14864_1010_5_8_0_0
10040_1010_0_11_0_0 <- 12907_1005_0_11_0_0
8242_1012_5_26_0_6871 <- 8242_1012_5_26_0_0
14864_1010_5_11_0_6884 <- 14864_1010_5_11_0_0
115_0_0_3_0_0 <- 115_0_0_103_0_5043 , 0_0_0_103_0_0 , 32962_1011_4_103_0_0
9503_1010_0_48_0_50 <- 12000_1005_0_48_0_0
9521_1011_0_8_0_0 <- 9516_1011_0_8_0_0 , 9503_1010_0_8_0_50
9521_1011_0_11_0_0 <- 9516_1011_0_11_0_0 , 9503_1010_0_11_0_50
8242_1012_5_38_0_6804 <- 8242_1012_5_38_0_0
5056_1011_0_86_0_0 <- 4498_1015_0_86_0_0
16546_1014_0_62_0_0 <- 16492_1014_0_62_0_0
16386_1005_0_37_0_6809 <- 16386_1005_0_37_0_0
10040_1010_0_35_0_0 <- 12907_1005_0_35_0_0
3507_1011_0_79_0_0 <- 2779_1018_0_79_2_0
5047_1020_0_61_0_6605 <- 5047_1020_0_61_0_0
3507_1011_0_80_0_0 <- 2779_1018_0_80_2_0
14864_1010_5_35_0_6823 <- 14864_1010_5_35_0_0
3507_1011_0_81_0_0 <- 2779_1018_0_81_2_0
8242_1012_5_51_0_6693 <- 8242_1012_5_51_0_0
2259_1012_0_33_0_0 <- 2311_1012_5_33_0_0
3655_1017_0_83_0_0 <- 3571_1018_0_83_0_0
2330_1015_0_89_2_6445 <- 2330_1015_0_89_2_0
2330_1015_0_90_2_6434 <- 2330_1015_0_90_2_0
2330_1015_0_91_2_6423 <- 2330_1015_0_91_2_0
51_0_0_45_0_5350 <- 2311_1012_5_45_0_6743 , 802_1019_0_45_0_6741 , 949_1019_0_45_0_6742 , 2457_1010_0_45_0_0 , 1978_1017_0_45_0_0
9521_1011_0_35_0_0 <- 9516_1011_0_35_0_0 , 9503_1010_0_35_0_50
16386_1005_0_50_0_6698 <- 16386_1005_0_50_0_0
10040_1010_0_48_0_0 <- 12907_1005_0_48_0_0
14864_1010_5_48_0_6712 <- 14864_1010_5_48_0_0
2259_1012_0_45_0_0 <- 2311_1012_5_45_0_0
3558_1012_0_12_2_29 <- 16_0_0_12_0_0 , 21_0_0_12_0_0 , 14_0_0_12_0_0 , 19_0_0_12_0_0 , 12_0_0_12_0_0 , 17_0_0_12_0_0 , 22_0_0_12_0_0 , 15_0_0_12_0_0 , 20_0_0_12_0_0 , 18_0_0_12_0_0 , 23_0_0_12_0_0
101_0_0_89_0_5076 <- 2702_1017_0_89_2_6442 , 3132_1010_0_89_0_0 , 3507_1010_0_89_0_6443 , 3507_1010_5_89_0_6444 , 3140_1010_0_89_0_6446 , 3184_1011_0_89_0_0 , 0_0_0_89_0_6441 , 2528_1014_0_89_0_6447
84_0_0_46_0_0 <- 84_0_0_72_0_5349 , 8916_1014_0_72_0_0 , 0_0_0_72_0_0
98_0_0_86_0_5088 <- 5060_1011_5_86_2_6469 , 6904_1010_0_86_0_0 , 3996_1015_0_86_0_0 , 4494_1015_0_86_0_0 , 5056_1011_0_86_0_0 , 5056_1012_0_86_0_0 , 4054_1015_0_86_0_0 , 6572_1007_0_86_0_0 , 6580_1006_5_86_0_6470 , 3781_1010_0_86_0_0 , 6045_1017_0_86_0_0
9521_1011_0_48_0_0 <- 9516_1011_0_48_0_0 , 9503_1010_0_48_0_50
2259_1012_0_58_0_0 <- 2311_1012_5_58_0_0
4494_1016_0_65_0_0 <- 6908_1011_1_65_0_0
8242_1012_5_85_0_6476 <- 8242_1012_5_85_0_0
0_0_0_12_0_0 <- 11_0_0_0_0_0
106_0_0_5_0_0 <- 16922_1011_4_94_0_0 , 0_0_0_94_0_0 , 106_0_0_94_0_5053
16386_1005_0_84_0_6481 <- 16386_1005_0_84_0_0
3428_1011_5_29_0_0 <- 2525_1015_5_29_2_0
1554_1019_0_26_0_0 <- 8242_1012_0_26_0_0 , 8521_1010_0_26_0_60
3428_1011_5_41_0_0 <- 2525_1015_5_41_2_0
2259_1012_0_92_0_0 <- 2311_1012_5_92_0_0
53_0_0_46_0_0 <- 53_0_0_47_0_5205 , 0_0_0_47_0_0
1554_1019_0_38_0_0 <- 8242_1012_0_38_0_0 , 8521_1010_0_38_0_60
4000_1015_0_27_0_0 <- 6580_1007_5_27_0_0
3428_1011_5_54_0_0 <- 2525_1015_5_54_2_0
106_0_0_94_0_5053 <- 16922_1011_5_94_0_0 , 0_0_0_94_0_0 , 13468_1018_0_94_2_0
1554_1019_0_51_0_0 <- 8242_1012_0_51_0_0 , 8521_1010_0_51_0_60
455_1008_0_46_2_113 <- 56_0_0_46_0_0 , 61_0_0_46_0_0 , 54_0_0_46_0_0 , 59_0_0_46_0_0 , 64_0_0_46_0_0 , 57_0_0_46_0_0 , 62_0_0_46_0_0 , 55_0_0_46_0_0 , 60_0_0_46_0_0 , 58_0_0_46_0_0 , 63_0_0_46_0_0
4000_1015_0_39_0_0 <- 6580_1007_5_39_0_0
4056_1015_0_28_0_6861 <- 4056_1015_0_28_0_0
99_0_0_7_0_0 <- 0_0_0_87_0_0 , 99_0_0_87_0_5082 , 4004_1015_0_87_0_0
4056_1015_5_28_0_0 <- 4056_1015_0_28_0_0
8310_1016_0_74_0_0 <- 8198_1016_0_74_0_0
4000_1015_0_52_0_0 <- 6580_1007_5_52_0_0
1662_1014_1_46_2_0 <- 475_1014_0_46_2_0
49_0_0_43_0_5356 <- 2528_1014_0_43_0_6764 , 2702_1017_0_43_2_6759 , 3132_1010_0_43_0_0 , 3507_1010_0_43_0_6760 , 3507_1010_5_43_0_6761 , 3140_1010_0_43_0_6763 , 3184_1011_0_43_0_0 , 0_0_0_43_0_6758
4056_1015_0_40_0_6792 <- 4056_1015_0_40_0_0
70_0_0_46_0_0 <- 0_0_0_63_0_0 , 70_0_0_63_0_5305 , 9832_1011_0_63_0_0
22_0_0_12_0_0 <- 22_0_0_22_0_5057 , 0_0_0_22_0_0 , 3507_1011_3_22_0_0
254_1009_0_34_2_84 <- 45_0_0_34_0_0 , 50_0_0_34_0_0 , 43_0_0_34_0_0 , 48_0_0_34_0_0 , 41_0_0_34_0_0 , 46_0_0_34_0_0 , 51_0_0_34_0_0 , 44_0_0_34_0_0 , 49_0_0_34_0_0 , 42_0_0_34_0_0 , 47_0_0_34_0_0
3428_1011_5_88_0_0 <- 2525_1015_5_88_2_0
4056_1015_5_40_0_0 <- 4056_1015_0_40_0_0
70_0_0_63_0_5305 <- 9774_1011_0_63_0_0 , 13603_1018_0_63_0_0 , 8858_1016_0_63_0_0 , 16219_1007_0_63_0_0 , 16378_1006_0_63_0_0 , 8916_1016_0_63_0_6594 , 16918_1011_0_63_0_0 , 8746_1016_0_63_0_0
1554_1019_0_85_0_0 <- 8242_1012_0_85_0_0 , 8521_1010_0_85_0_60
2330_1015_5_42_2_6776 <- 2330_1015_5_42_2_0
2330_1015_5_43_2_6765 <- 2330_1015_5_43_2_0
2330_1015_5_44_2_6754 <- 2330_1015_5_44_2_0
9521_1011_0_8_0_51 <- 9521_1011_0_8_0_0
4056_1015_0_53_0_6681 <- 4056_1015_0_53_0_0
41_0_0_35_0_5408 <- 0_0_0_35_0_6820 , 11949_1004_0_35_0_0 , 14481_1002_0_35_0_0 , 14864_1010_0_35_0_6822 , 12621_1006_0_35_0_0 , 14864_1010_5_35_0_6823 , 14481_1003_0_35_0_0 , 12861_1005_0_35_0_0 , 12621_1007_0_35_0_0 , 3221_1019_0_35_0_6824 , 14429_1000_0_35_0_0 , 13102_1017_0_35_2_6821 , 13921_1001_0_35_0_0 , 3308_1019_0_35_0_6825
9521_1011_0_11_0_51 <- 9521_1011_0_11_0_0
4056_1015_5_53_0_0 <- 4056_1015_0_53_0_0
12_0_0_12_0_0 <- 0_0_0_13_0_0 , 14864_1011_7_13_0_0 , 12_0_0_13_0_5066
12_0_0_13_0_5066 <- 0_0_0_13_0_0 , 14864_1011_0_13_0_0 , 13040_1018_0_13_2_0
2330_1015_5_55_2_6665 <- 2330_1015_5_55_2_0
2330_1015_5_56_2_6654 <- 2330_1015_5_56_2_0
2330_1015_5_57_2_6643 <- 2330_1015_5_57_2_0
2116_1005_5_46_0_0 <- 2116_1006_3_46_0_0
4000_1015_0_86_0_0 <- 6580_1007_5_86_0_0
55_0_0_49_0_5250 <- 24804_1017_0_49_0_0 , 16546_1012_0_49_0_0 , 3988_1016_0_49_0_0 , 18052_1007_0_49_0_0 , 3655_1017_0_49_0_0 , 32958_1010_0_49_0_0 , 16734_1012_0_49_0_6704 , 3371_1019_0_49_0_0 , 32435_1002_0_49_0_0 , 32383_1003_0_49_0_0 , 32435_998_0_49_0_0 , 3797_1016_0_49_0_0 , 16434_1012_0_49_0_0 , 18110_1007_0_49_0_6705 , 3513_1018_0_49_0_0 , 16676_1012_0_49_0_0
32443_998_0_24_0_0 <- 21181_1002_0_24_0_0
1078_1014_0_46_2_6542 <- 1078_1014_0_46_2_0
9521_1011_0_35_0_51 <- 9521_1011_0_35_0_0
102_0_0_7_0_0 <- 102_0_0_90_0_5073 , 0_0_0_90_0_0 , 3192_1011_5_90_0_0
3507_1011_5_68_0_0 <- 2779_1018_5_68_2_0
3507_1011_5_69_0_0 <- 2779_1018_5_69_2_0
3507_1011_5_70_0_0 <- 2779_1018_5_70_2_0
32443_998_0_36_0_0 <- 21181_1002_0_36_0_0
4056_1015_0_87_0_6464 <- 4056_1015_0_87_0_0
9521_1011_0_48_0_51 <- 9521_1011_0_48_0_0
5060_1012_0_65_2_0 <- 4498_1016_0_65_0_0
4056_1015_5_87_0_0 <- 4056_1015_0_87_0_0
16918_1011_0_63_0_0 <- 13607_1018_5_63_2_0
2330_1015_5_89_2_6448 <- 2330_1015_5_89_2_0
2330_1015_5_90_2_6437 <- 2330_1015_5_90_2_0
2330_1015_5_91_2_6426 <- 2330_1015_5_91_2_0
2528_1014_0_42_0_6775 <- 2528_1014_0_42_0_0
2528_1014_0_43_0_6764 <- 2528_1014_0_43_0_0
32443_998_0_49_0_0 <- 21181_1002_0_49_0_0
2528_1014_0_44_0_6753 <- 2528_1014_0_44_0_0
8252_1016_0_74_0_0 <- 8198_1016_0_74_0_0
2528_1014_0_55_0_6664 <- 2528_1014_0_55_0_0
3376_1011_0_67_0_0 <- 3428_1012_0_67_0_0
2528_1014_0_56_0_6653 <- 2528_1014_0_56_0_0
2528_1014_0_57_0_6642 <- 2528_1014_0_57_0_0
110_0_0_98_0_5049 <- 2835_1018_0_98_2_0 , 3743_1011_1_98_0_0 , 0_0_0_98_0_0
99_0_0_87_0_5082 <- 1359_1019_0_87_0_0 , 1283_1019_0_87_0_0 , 1500_1019_0_87_0_6463 , 3562_1017_0_87_0_0 , 4056_1015_0_87_0_6464 , 1496_1019_0_87_0_0 , 4056_1015_5_87_0_6465 , 4283_1010_0_87_0_0
2116_1005_0_46_0_0 <- 2116_1006_5_46_0_0
103_0_0_7_0_0 <- 3192_1011_5_91_0_0 , 103_0_0_91_0_5070 , 0_0_0_91_0_0
4401_1008_0_7_2_24 <- 28_0_0_7_0_0 , 38_0_0_7_0_0 , 26_0_0_7_0_0 , 36_0_0_7_0_0 , 24_0_0_7_0_0 , 34_0_0_7_0_0 , 32_0_0_7_0_0 , 37_0_0_7_0_0 , 10_0_0_7_0_0 , 30_0_0_7_0_0 , 35_0_0_7_0_0
48_0_0_42_0_5359 <- 2702_1017_0_42_2_6770 , 3132_1010_0_42_0_0 , 3507_1010_0_42_0_6771 , 3507_1010_5_42_0_6772 , 3140_1010_0_42_0_6774 , 3184_1011_0_42_0_0 , 0_0_0_42_0_6769 , 2528_1014_0_42_0_6775
105_0_0_93_0_5054 <- 24746_1018_0_93_2_0 , 0_0_0_93_0_0 , 32962_1011_2_93_0_0
12907_1008_0_61_0_6609 <- 12907_1008_0_61_0_0
32443_998_0_83_0_0 <- 21181_1002_0_83_0_0
0_0_0_47_0_0 <- 242_1008_0_46_2_109
15_0_0_15_0_5064 <- 13468_1018_0_15_2_0 , 16922_1011_5_15_0_0 , 0_0_0_15_0_0
16734_1014_0_62_0_6598 <- 16734_1014_0_62_0_0
2528_1014_0_89_0_6447 <- 2528_1014_0_89_0_0
2528_1014_0_90_0_6436 <- 2528_1014_0_90_0_0
2528_1014_0_91_0_6425 <- 2528_1014_0_91_0_0
40_0_0_7_0_0 <- 40_0_0_34_0_5135 , 403_1015_0_34_2_0 , 0_0_0_34_0_0
76_0_0_66_0_5291 <- 4056_1016_0_66_0_6580 , 4283_1011_0_66_0_0 , 2721_1020_0_66_0_0 , 3639_1018_0_66_0_0 , 2645_1020_0_66_0_0 , 2725_1020_0_66_0_6579
2116_1005_1_46_0_0 <- 2116_1006_7_46_0_0
104_0_0_7_0_0 <- 0_0_0_92_0_0 , 104_0_0_92_0_5067 , 2259_1012_0_92_0_0
38_0_0_33_0_5138 <- 949_1019_0_33_0_6843 , 2457_1010_0_33_0_0 , 1978_1017_0_33_0_0 , 2311_1012_5_33_0_6844 , 802_1019_0_33_0_6842
4056_1015_5_28_0_6862 <- 4056_1015_5_28_0_0
26_0_0_25_0_5172 <- 8858_1015_0_25_0_0 , 8252_1015_0_25_0_0 , 9832_1010_0_25_0_0 , 16378_1005_0_25_0_0 , 8916_1015_0_25_0_0 , 16918_1010_0_25_0_0 , 8746_1015_0_25_0_0 , 13526_1017_0_25_0_0 , 16386_1005_0_25_0_0 , 8140_1015_0_25_0_0 , 9774_1010_0_25_0_0 , 9572_1010_5_25_0_0
4056_1015_5_40_0_6793 <- 4056_1015_5_40_0_0
46_0_0_34_0_0 <- 0_0_0_40_0_0 , 4004_1015_0_40_0_0 , 46_0_0_40_0_5365
120_0_0_3_0_0 <- 120_0_0_108_0_5038 , 3743_1011_3_108_0_0 , 0_0_0_108_0_0
9_0_0_7_0_0 <- 9_0_0_10_0_5137 , 0_0_0_10_0_0 , 364_1010_0_10_0_0
4056_1015_5_53_0_6682 <- 4056_1015_5_53_0_0
1978_1017_0_33_0_0 <- 0_0_0_33_0_0
17_0_0_17_0_5062 <- 0_0_0_17_0_0 , 6908_1011_7_17_0_0 , 5987_1018_0_17_2_0
16386_1006_0_63_0_0 <- 9572_1010_0_63_0_0
1978_1017_0_45_0_0 <- 0_0_0_45_0_0
6580_1007_0_65_0_6585 <- 6580_1007_0_65_0_0
1978_1017_0_58_0_0 <- 0_0_0_58_0_0
2974_1018_5_67_2_6573 <- 2974_1018_5_67_2_0
802_1019_0_33_0_6842 <- 802_1019_0_33_0_0
4056_1015_5_87_0_6465 <- 4056_1015_5_87_0_0
13607_1018_5_63_2_0 <- 0_0_0_63_0_0
802_1019_0_45_0_6741 <- 802_1019_0_45_0_0
5060_1011_5_39_2_6797 <- 5060_1011_5_39_2_0
13607_1018_7_74_2_0 <- 0_0_0_74_0_0
802_1019_0_58_0_6630 <- 802_1019_0_58_0_0
1978_1017_0_92_0_0 <- 0_0_0_92_0_0
58_0_0_52_0_5228 <- 5056_1011_0_52_0_0 , 5056_1012_0_52_0_0 , 4054_1015_0_52_0_0 , 6572_1007_0_52_0_0 , 6580_1006_5_52_0_6687 , 3781_1010_0_52_0_0 , 6045_1017_0_52_0_0 , 5060_1011_5_52_2_6686 , 6904_1010_0_52_0_0 , 3996_1015_0_52_0_0 , 4494_1015_0_52_0_0
82_0_0_71_0_5276 <- 2461_1011_5_71_0_6546 , 2457_1011_0_71_0_0 , 2311_1013_0_71_0_6547 , 2055_1018_0_71_0_0
5060_1011_5_52_2_6686 <- 5060_1011_5_52_2_0
854_1008_0_46_2_0 <- 2116_1005_5_46_0_0
46_0_0_40_0_5365 <- 1359_1019_0_40_0_0 , 1283_1019_0_40_0_0 , 1500_1019_0_40_0_6791 , 3562_1017_0_40_0_0 , 4056_1015_0_40_0_6792 , 1496_1019_0_40_0_0 , 4056_1015_5_40_0_6793 , 4283_1010_0_40_0_0
116_0_0_3_0_0 <- 16922_1011_4_104_0_0 , 0_0_0_104_0_0 , 116_0_0_104_0_5042
8906_1013_0_72_0_0 <- 8776_1013_0_72_0_0 , 8764_1014_0_72_0_180
84_0_0_72_0_5349 <- 13179_1018_5_72_2_0 , 8906_1013_0_72_0_0 , 2188_1019_0_72_0_0 , 14864_1011_3_72_0_0 , 0_0_0_72_0_0
50_0_0_34_0_0 <- 3192_1011_5_44_0_0 , 50_0_0_44_0_5353 , 0_0_0_44_0_0
8764_1014_0_72_0_180 <- 8764_1014_0_72_0_0
304_1018_0_46_0_0 <- 2116_1008_0_46_0_0
1920_1018_0_23_2_0 <- 0_0_0_23_0_0
802_1019_0_92_0_6413 <- 802_1019_0_92_0_0
13929_1004_0_61_0_6608 <- 13929_1004_0_61_0_0
5060_1011_5_86_2_6469 <- 5060_1011_5_86_2_0
22_0_0_22_0_5057 <- 3507_1011_1_22_0_0 , 0_0_0_22_0_0 , 2640_1018_0_22_2_0
3192_1011_0_30_0_0 <- 2330_1015_0_30_2_0
25420_1018_0_62_2_0 <- 0_0_0_62_0_0
3192_1011_0_31_0_0 <- 2330_1015_0_31_2_0
3033_1019_0_60_2_0 <- 0_0_0_60_0_0
3192_1011_0_32_0_0 <- 2330_1015_0_32_2_0
8_0_0_8_0_5125 <- 3308_1019_0_8_0_6497 , 0_0_0_8_0_6492 , 11949_1004_0_8_0_0 , 14481_1002_0_8_0_0 , 14864_1010_0_8_0_6494 , 12621_1006_0_8_0_0 , 14864_1010_5_8_0_6495 , 14481_1003_0_8_0_0 , 12861_1005_0_8_0_0 , 12621_1007_0_8_0_0 , 3221_1019_0_8_0_6496 , 14429_1000_0_8_0_0 , 13102_1017_0_8_2_6493 , 13921_1001_0_8_0_0
3192_1011_0_42_0_0 <- 2330_1015_0_42_2_0
3192_1011_0_43_0_0 <- 2330_1015_0_43_2_0
3192_1011_0_44_0_0 <- 2330_1015_0_44_2_0
9572_1010_5_37_0_6811 <- 9572_1010_5_37_0_0
25420_1018_5_73_2_0 <- 0_0_0_73_0_0
40_0_0_34_0_5135 <- 265_1015_0_34_0_0 , 724_1010_0_34_0_6740 , 447_1017_0_34_2_6739 , 274_1015_0_34_2_6835 , 0_0_0_34_0_6738
11914_1008_0_61_2_0 <- 10898_1015_0_61_0_0
16_0_0_16_0_5063 <- 7107_1018_0_16_2_0 , 8475_1011_1_16_0_0 , 0_0_0_16_0_0
16386_1006_5_25_0_0 <- 9572_1010_5_25_0_0
3192_1011_0_55_0_0 <- 2330_1015_0_55_2_0
3192_1011_0_56_0_0 <- 2330_1015_0_56_2_0
109_0_0_5_0_0 <- 0_0_0_97_0_0 , 109_0_0_97_0_5050 , 4287_1011_3_97_0_0
3192_1011_0_57_0_0 <- 2330_1015_0_57_2_0
9572_1010_5_50_0_6700 <- 9572_1010_5_50_0_0
13929_1004_5_61_0_0 <- 11290_1013_0_61_0_0
109_0_0_97_0_5050 <- 0_0_0_97_0_0 , 3504_1018_0_97_2_0 , 4287_1011_1_97_0_0
80_0_0_46_0_0 <- 0_0_0_69_0_0 , 80_0_0_69_0_5282 , 2528_1015_0_69_0_0
16386_1006_5_37_0_0 <- 9572_1010_5_37_0_0
14481_1005_0_61_0_0 <- 12667_1009_0_61_2_0 , 12667_1009_5_61_2_0
80_0_0_69_0_5282 <- 0_0_0_69_0_6558 , 3507_1011_5_69_0_6560 , 2779_1018_5_69_2_6559 , 3140_1011_0_69_0_6561 , 3184_1012_0_69_0_0 , 3132_1011_0_69_0_0
949_1019_0_33_0_6843 <- 949_1019_0_33_0_0
14489_1002_0_8_0_0 <- 12667_1006_0_8_2_0
51_0_0_34_0_0 <- 0_0_0_45_0_0 , 51_0_0_45_0_5350 , 2259_1012_0_45_0_0
8804_1016_0_63_0_0 <- 16922_1011_1_63_0_0
14489_1002_0_11_0_0 <- 12667_1006_0_11_2_0
16386_1006_5_50_0_0 <- 9572_1010_5_50_0_0
107_0_0_5_0_0 <- 107_0_0_95_0_5052 , 8475_1011_7_95_0_0 , 0_0_0_95_0_0
949_1019_0_45_0_6742 <- 949_1019_0_45_0_0
3192_1011_0_89_0_0 <- 2330_1015_0_89_2_0
3192_1011_0_90_0_0 <- 2330_1015_0_90_2_0
4017_1008_0_7_2_14 <- 98_0_0_7_0_0 , 103_0_0_7_0_0 , 96_0_0_7_0_0 , 101_0_0_7_0_0 , 99_0_0_7_0_0 , 104_0_0_7_0_0 , 8_0_0_7_0_0 , 97_0_0_7_0_0 , 102_0_0_7_0_0 , 95_0_0_7_0_0 , 100_0_0_7_0_0
3192_1011_0_91_0_0 <- 2330_1015_0_91_2_0
9572_1010_5_84_0_6483 <- 9572_1010_5_84_0_0
6904_1011_0_65_0_0 <- 6126_1018_1_65_2_0
874_1014_0_46_2_6616 <- 874_1014_0_46_2_0
874_1014_0_46_2_6617 <- 874_1014_0_46_2_0
1920_1018_0_102_2_0 <- 0_0_0_102_0_0
949_1019_0_58_0_6631 <- 949_1019_0_58_0_0
14489_1002_0_35_0_0 <- 12667_1006_0_35_2_0
1920_1018_0_112_2_0 <- 0_0_0_112_0_0
16386_1006_5_84_0_0 <- 9572_1010_5_84_0_0
14489_1002_0_48_0_0 <- 12667_1006_0_48_2_0
650_1008_0_46_2_0 <- 2116_1006_1_46_0_0
1658_1014_0_46_0_0 <- 874_1014_0_46_2_6616 , 475_1014_0_46_2_6724 , 1078_1014_0_46_2_6542
949_1019_0_33_0_0 <- 2484_1010_0_33_0_78 , 2311_1012_0_33_0_0
97_0_0_85_0_5098 <- 1407_1019_0_85_0_6474 , 7165_1017_0_85_0_0 , 8242_1012_5_85_0_6476 , 8471_1010_0_85_0_0 , 1554_1019_0_85_0_6475
949_1019_0_92_0_6414 <- 949_1019_0_92_0_0
9572_1010_0_63_0_0 <- 8916_1016_0_63_0_0
949_1019_0_45_0_0 <- 2484_1010_0_45_0_78 , 2311_1012_0_45_0_0
120_0_0_108_0_5038 <- 2835_1018_0_108_2_0 , 3743_1011_1_108_0_0 , 0_0_0_108_0_0
8746_1016_0_63_0_0 <- 16922_1011_1_63_0_0
949_1019_0_58_0_0 <- 2484_1010_0_58_0_78 , 2311_1012_0_58_0_0
81_0_0_70_0_5279 <- 3132_1011_0_70_0_0 , 0_0_0_70_0_6551 , 3507_1011_5_70_0_6553 , 2779_1018_5_70_2_6552 , 3140_1011_0_70_0_6554 , 3184_1012_0_70_0_0
115_0_0_103_0_5043 <- 24746_1018_0_103_2_0 , 0_0_0_103_0_0 , 32962_1011_2_103_0_0
45_0_0_34_0_0 <- 45_0_0_39_0_5371 , 4058_1015_0_39_0_0 , 0_0_0_39_0_0
13_0_0_0_0_0 <- 3558_1012_0_12_2_29 , 0_0_0_12_0_0
1496_1019_0_28_0_0 <- 1363_1019_0_28_0_0
13929_1004_5_61_0_6611 <- 13929_1004_5_61_0_0
3192_1011_5_30_0_0 <- 2330_1015_5_30_2_0
3192_1011_5_31_0_0 <- 2330_1015_5_31_2_0
0_0_0_35_0_0 <- 254_1009_0_34_2_82
0_0_0_36_0_0 <- 254_1009_0_34_2_87
0_0_0_37_0_0 <- 254_1009_0_34_2_89
949_1019_0_92_0_0 <- 2484_1010_0_92_0_78 , 2311_1012_0_92_0_0
0_0_0_38_0_0 <- 254_1009_0_34_2_91
0_0_0_39_0_0 <- 254_1009_0_34_2_93
0_0_0_40_0_0 <- 254_1009_0_34_2_95
0_0_0_41_0_0 <- 254_1009_0_34_2_97
0_0_0_42_0_0 <- 254_1009_0_34_2_99
3192_1011_5_32_0_0 <- 2330_1015_5_32_2_0
0_0_0_43_0_0 <- 254_1009_0_34_2_101
0_0_0_44_0_0 <- 254_1009_0_34_2_103
0_0_0_45_0_0 <- 254_1009_0_34_2_105
1496_1019_0_40_0_0 <- 1363_1019_0_40_0_0
111_0_0_99_0_5048 <- 2640_1018_0_99_2_0 , 3507_1011_1_99_0_0 , 0_0_0_99_0_0
3192_1011_5_42_0_0 <- 2330_1015_5_42_2_0
3192_1011_5_43_0_0 <- 2330_1015_5_43_2_0
3192_1011_5_44_0_0 <- 2330_1015_5_44_2_0
1496_1019_0_53_0_0 <- 1363_1019_0_53_0_0
14_0_0_12_0_0 <- 14_0_0_14_0_5065 , 0_0_0_14_0_0 , 32962_1011_4_14_0_0
3192_1011_5_55_0_0 <- 2330_1015_5_55_2_0
114_0_0_5_0_0 <- 0_0_0_102_0_0 , 114_0_0_102_0_5045 , 2461_1011_3_102_0_0
3192_1011_5_56_0_0 <- 2330_1015_5_56_2_0
3192_1011_5_57_0_0 <- 2330_1015_5_57_2_0
114_0_0_102_0_5045 <- 0_0_0_102_0_0 , 1920_1018_0_102_2_0 , 2461_1011_1_102_0_0
85_0_0_46_0_0 <- 0_0_0_73_0_0 , 15998_1014_0_73_0_0 , 85_0_0_73_0_5343
85_0_0_73_0_5343 <- 0_0_0_73_0_0 , 2954_1018_0_73_0_0 , 2670_1020_0_73_0_0 , 15828_1014_0_73_0_0 , 25420_1018_5_73_2_0 , 2812_1019_0_73_0_0 , 15940_1014_0_73_0_0
6580_1006_5_27_0_0 <- 5060_1011_5_27_2_0
1117_1018_0_46_0_5134 <- 1662_1014_5_46_2_0 , 916_1018_0_46_0_6508 , 874_1014_0_46_2_6617
35_0_0_30_0_5147 <- 2528_1014_0_30_0_0 , 2702_1017_0_30_2_0 , 3132_1010_0_30_0_0 , 3507_1010_0_30_0_0 , 3507_1010_5_30_0_0 , 3140_1010_0_30_0_0 , 3184_1011_0_30_0_0 , 0_0_0_30_0_0
2330_1015_5_30_2_0 <- 2528_1014_0_30_0_0
2330_1015_5_31_2_0 <- 2528_1014_0_31_0_0
2330_1015_5_32_2_0 <- 2528_1014_0_32_0_0
14489_1002_5_8_0_0 <- 12667_1006_5_8_2_0
56_0_0_46_0_0 <- 0_0_0_50_0_0 , 56_0_0_50_0_5241 , 8310_1015_0_50_0_0
6580_1006_5_39_0_0 <- 5060_1011_5_39_2_0
14489_1002_5_11_0_0 <- 12667_1006_5_11_2_0
2725_1020_0_66_0_0 <- 2649_1020_0_66_2_0
3643_1018_5_66_2_0 <- 0_0_0_66_0_0
1496_1019_0_87_0_0 <- 1363_1019_0_87_0_0
2330_1015_5_42_2_0 <- 2528_1014_0_42_0_0
2330_1015_5_43_2_0 <- 2528_1014_0_43_0_0
2330_1015_5_44_2_0 <- 2528_1014_0_44_0_0
3643_1018_0_77_2_0 <- 0_0_0_77_0_0
12667_1006_5_8_2_0 <- 14489_1002_0_8_0_0
3192_1011_5_89_0_0 <- 2330_1015_5_89_2_0
12667_1006_5_11_2_0 <- 14489_1002_0_11_0_0
6580_1006_5_52_0_0 <- 5060_1011_5_52_2_0
6528_1006_0_27_0_0 <- 6580_1006_5_27_0_0
3192_1011_5_90_0_0 <- 2330_1015_5_90_2_0
3192_1011_5_91_0_0 <- 2330_1015_5_91_2_0
2330_1015_5_55_2_0 <- 2528_1014_0_55_0_0
11906_1005_0_8_0_0 <- 9331_1013_0_8_0_0
2330_1015_5_56_2_0 <- 2528_1014_0_56_0_0
2330_1015_5_57_2_0 <- 2528_1014_0_57_0_0
11906_1005_0_11_0_0 <- 9331_1013_0_11_0_0
14489_1002_5_35_0_0 <- 12667_1006_5_35_2_0
6528_1006_0_39_0_0 <- 6580_1006_5_39_0_0
9709_1011_0_8_0_0 <- 14489_1003_0_8_0_0 , 9521_1011_0_8_0_51
9709_1011_0_11_0_0 <- 14489_1003_0_11_0_0 , 9521_1011_0_11_0_51
12667_1006_5_35_2_0 <- 14489_1002_0_35_0_0
14489_1002_5_48_0_0 <- 12667_1006_5_48_2_0
6528_1006_0_52_0_0 <- 6580_1006_5_52_0_0
6580_1006_5_86_0_0 <- 5060_1011_5_86_2_0
11906_1005_0_35_0_0 <- 9331_1013_0_35_0_0
12667_1006_5_48_2_0 <- 14489_1002_0_48_0_0
9709_1011_0_35_0_0 <- 14489_1003_0_35_0_0 , 9521_1011_0_35_0_51
2330_1015_5_89_2_0 <- 2528_1014_0_89_0_0
2330_1015_5_90_2_0 <- 2528_1014_0_90_0_0
2330_1015_5_91_2_0 <- 2528_1014_0_91_0_0
63_0_0_46_0_0 <- 63_0_0_57_0_5210 , 0_0_0_57_0_0 , 3192_1011_5_57_0_0
2108_1004_0_46_0_0 <- 2116_1005_0_46_0_0
11906_1005_0_48_0_0 <- 9331_1013_0_48_0_0
13530_1017_0_25_2_0 <- 0_0_0_25_0_0
2870_1019_0_73_0_0 <- 2728_1020_0_73_2_0
9709_1011_0_48_0_0 <- 14489_1003_0_48_0_0 , 9521_1011_0_48_0_51
44_0_0_38_0_5381 <- 1407_1019_0_38_0_6802 , 7165_1017_0_38_0_0 , 8242_1012_5_38_0_6804 , 8471_1010_0_38_0_0 , 1554_1019_0_38_0_6803
8_0_0_7_0_0 <- 10388_1010_0_8_0_0 , 0_0_0_8_0_0 , 8_0_0_8_0_5125
6528_1006_0_86_0_0 <- 6580_1006_5_86_0_0
8916_1016_0_63_0_0 <- 8804_1016_0_63_0_0
63_0_0_57_0_5210 <- 2702_1017_0_57_2_6637 , 3132_1010_0_57_0_0 , 3507_1010_0_57_0_6638 , 3507_1010_5_57_0_6639 , 3140_1010_0_57_0_6641 , 3184_1011_0_57_0_0 , 0_0_0_57_0_6636 , 2528_1014_0_57_0_6642
13530_1017_0_37_2_0 <- 0_0_0_37_0_0
67_0_0_61_0_5325 <- 5047_1020_0_61_0_6605 , 11949_1007_0_61_0_0 , 14481_1005_0_61_0_0 , 12621_1009_0_61_0_0 , 0_0_0_61_0_6602 , 12861_1008_0_61_0_0 , 5134_1020_0_61_0_6606 , 13179_1018_0_61_2_6603 , 14429_1003_0_61_0_0 , 13921_1004_0_61_0_0 , 14864_1011_5_61_0_6604
13530_1017_0_50_2_0 <- 0_0_0_50_0_0
16227_1006_0_25_0_0 <- 16386_1005_0_25_0_0
32_0_0_7_0_0 <- 32_0_0_28_0_5153 , 0_0_0_28_0_0 , 4004_1015_0_28_0_0
2461_1010_5_33_0_0 <- 2461_1010_0_33_0_0
16227_1006_0_37_0_0 <- 16386_1005_0_37_0_0
2116_1006_0_46_0_0 <- 119_1018_0_46_0_0
2461_1010_5_45_0_0 <- 2461_1010_0_45_0_0
2835_1018_0_19_2_0 <- 0_0_0_19_0_0
16227_1006_0_50_0_0 <- 16386_1005_0_50_0_0
13530_1017_0_84_2_0 <- 0_0_0_84_0_0
2461_1010_5_58_0_0 <- 2461_1010_0_58_0_0
2812_1019_0_73_0_0 <- 2728_1020_0_73_2_0
119_0_0_3_0_0 <- 0_0_0_107_0_0 , 119_0_0_107_0_5039 , 4287_1011_3_107_0_0
112_0_0_5_0_0 <- 112_0_0_100_0_5047 , 0_0_0_100_0_0 , 3507_1011_3_100_0_0
119_0_0_107_0_5039 <- 0_0_0_107_0_0 , 3504_1018_0_107_2_0 , 4287_1011_1_107_0_0
68_0_0_62_0_5313 <- 11659_1019_0_62_0_0 , 16546_1014_0_62_0_0 , 32958_1011_0_62_0_0 , 18052_1009_0_62_0_0 , 25416_1018_0_62_0_0 , 16734_1014_0_62_0_6598 , 11801_1018_0_62_0_0 , 32383_1005_0_62_0_0 , 32435_1000_0_62_0_0 , 16434_1014_0_62_0_0 , 11517_1020_0_62_0_0 , 16676_1014_0_62_0_0
90_0_0_46_0_0 <- 0_0_0_78_0_0 , 90_0_0_78_0_5336 , 3743_1011_0_78_0_0
8858_1016_0_63_0_0 <- 8804_1016_0_63_0_0
90_0_0_78_0_5336 <- 0_0_0_78_0_0 , 2974_1018_0_78_2_0
0_0_0_72_0_0 <- 1058_1008_0_46_2_175
0_0_0_73_0_0 <- 1058_1008_0_46_2_181
0_0_0_74_0_0 <- 1058_1008_0_46_2_183
0_0_0_75_0_0 <- 1058_1008_0_46_2_185
0_0_0_76_0_0 <- 1058_1008_0_46_2_187
0_0_0_77_0_0 <- 1058_1008_0_46_2_189
0_0_0_78_0_0 <- 1058_1008_0_46_2_191
0_0_0_79_0_0 <- 1058_1008_0_46_2_193
0_0_0_80_0_0 <- 1058_1008_0_46_2_195
0_0_0_81_0_0 <- 1058_1008_0_46_2_197
0_0_0_82_0_0 <- 1058_1008_0_46_2_199
16227_1006_0_84_0_0 <- 16386_1005_0_84_0_0
61_0_0_46_0_0 <- 0_0_0_55_0_0 , 3192_1011_5_55_0_0 , 61_0_0_55_0_5216
2461_1010_5_92_0_0 <- 2461_1010_0_92_0_0
3368_1010_0_29_0_0 <- 3428_1011_0_29_0_0
32383_1005_0_62_0_0 <- 32443_1000_0_62_0_0
3_0_0_3_0_0 <- 0_0_0_4_0_0 , 3_0_0_4_0_5044 , 14864_1011_7_4_0_0
3_0_0_4_0_5044 <- 0_0_0_4_0_0 , 14864_1011_0_4_0_0 , 13040_1018_0_4_2_0
3221_1019_0_8_0_0 <- 14864_1010_5_8_0_0
96_0_0_7_0_0 <- 8310_1015_0_84_0_0 , 96_0_0_84_0_5101 , 0_0_0_84_0_0
3368_1010_0_41_0_0 <- 3428_1011_0_41_0_0
81_0_0_46_0_0 <- 81_0_0_70_0_5279 , 0_0_0_70_0_0 , 2528_1015_0_70_0_0
3221_1019_0_11_0_0 <- 14864_1010_5_11_0_0
3368_1010_0_54_0_0 <- 3428_1011_0_54_0_0
2835_1018_0_98_2_0 <- 0_0_0_98_0_0
3221_1019_0_35_0_0 <- 14864_1010_5_35_0_0
2835_1018_0_108_2_0 <- 0_0_0_108_0_0
14864_1011_7_4_0_0 <- 14864_1011_0_4_0_0
14864_1011_7_6_0_0 <- 14864_1011_0_6_0_0
3221_1019_0_48_0_0 <- 14864_1010_5_48_0_0
87_0_0_75_0_5339 <- 7246_1018_0_75_2_0 , 0_0_0_75_0_0
14864_1011_7_13_0_0 <- 14864_1011_0_13_0_0
3368_1010_0_88_0_0 <- 3428_1011_0_88_0_0
38_0_0_7_0_0 <- 2259_1012_0_33_0_0 , 0_0_0_33_0_0 , 38_0_0_33_0_5138
86_0_0_74_0_5340 <- 13607_1018_7_74_2_0 , 8140_1016_0_74_0_0 , 0_0_0_74_0_0 , 8252_1016_0_74_0_0
32_0_0_28_0_5153 <- 1359_1019_0_28_0_0 , 1283_1019_0_28_0_0 , 1500_1019_0_28_0_6860 , 3562_1017_0_28_0_0 , 4056_1015_0_28_0_6861 , 1496_1019_0_28_0_0 , 4056_1015_5_28_0_6862 , 4283_1010_0_28_0_0
8242_1013_0_64_0_6590 <- 8242_1013_0_64_0_0
100_0_0_7_0_0 <- 3428_1011_5_88_0_0 , 0_0_0_88_0_0 , 100_0_0_88_0_5079
19_0_0_12_0_0 <- 19_0_0_19_0_5060 , 3743_1011_3_19_0_0 , 0_0_0_19_0_0
4161_1008_0_7_2_19 <- 52_0_0_7_0_0 , 40_0_0_7_0_0 , 9_0_0_7_0_0
121_0_0_109_0_5037 <- 2640_1018_0_109_2_0 , 3507_1011_1_109_0_0 , 0_0_0_109_0_0
16378_1005_0_25_0_0 <- 9572_1009_0_25_0_0
15_0_0_12_0_0 <- 16922_1011_4_15_0_0 , 0_0_0_15_0_0 , 15_0_0_15_0_5064
2259_1013_0_71_0_0 <- 2311_1013_0_71_0_0
3996_1015_0_27_0_0 <- 6580_1007_5_27_0_0
16378_1005_0_37_0_0 <- 9572_1009_0_37_0_0
67_0_0_46_0_0 <- 11638_1013_0_61_0_0 , 0_0_0_61_0_0 , 67_0_0_61_0_5325
124_0_0_3_0_0 <- 0_0_0_112_0_0 , 124_0_0_112_0_5034 , 2461_1011_3_112_0_0
103_0_0_91_0_5070 <- 2528_1014_0_91_0_6425 , 2702_1017_0_91_2_6420 , 3132_1010_0_91_0_0 , 3507_1010_0_91_0_6421 , 3507_1010_5_91_0_6422 , 3140_1010_0_91_0_6424 , 3184_1011_0_91_0_0 , 0_0_0_91_0_6419
3996_1015_0_39_0_0 <- 6580_1007_5_39_0_0
124_0_0_112_0_5034 <- 0_0_0_112_0_0 , 1920_1018_0_112_2_0 , 2461_1011_1_112_0_0
16378_1005_0_50_0_0 <- 9572_1009_0_50_0_0
8475_1011_0_75_0_0 <- 7246_1018_0_75_2_0
3996_1015_0_52_0_0 <- 6580_1007_5_52_0_0
66_0_0_46_0_0 <- 0_0_0_60_0_0 , 3033_1019_0_60_2_0 , 3029_1019_0_60_0_0
37_0_0_7_0_0 <- 0_0_0_32_0_0 , 37_0_0_32_0_5141 , 3192_1011_5_32_0_0
3428_1012_0_67_0_0 <- 2525_1016_0_67_2_0
72_0_0_64_0_5302 <- 8242_1013_0_64_0_6590 , 8475_1011_3_64_0_6589 , 7242_1018_0_64_0_0 , 8471_1011_0_64_0_0
11717_1019_0_62_0_0 <- 11575_1020_0_62_2_0
8475_1011_3_64_0_0 <- 7246_1018_1_64_2_0
16378_1005_0_84_0_0 <- 9572_1009_0_84_0_0
3566_1017_0_28_2_0 <- 0_0_0_28_0_0
3140_1011_0_68_0_6568 <- 3140_1011_0_68_0_0
3140_1011_0_69_0_6561 <- 3140_1011_0_69_0_0
3140_1011_0_70_0_6554 <- 3140_1011_0_70_0_0
3996_1015_0_86_0_0 <- 6580_1007_5_86_0_0
3566_1017_0_40_2_0 <- 0_0_0_40_0_0
68_0_0_46_0_0 <- 68_0_0_62_0_5313 , 0_0_0_62_0_0 , 18110_1009_0_62_0_0
1058_1008_0_46_2_0 <- 2116_1005_1_46_0_0
43_0_0_34_0_0 <- 8310_1015_0_37_0_0 , 0_0_0_37_0_0 , 43_0_0_37_0_5384
98_0_0_7_0_0 <- 4058_1015_0_86_0_0 , 98_0_0_86_0_5088 , 0_0_0_86_0_0
6_0_0_6_0_5055 <- 14864_1011_0_6_0_0 , 13040_1018_0_6_2_0 , 0_0_0_6_0_0
3566_1017_0_53_2_0 <- 0_0_0_53_0_0
5056_1012_0_65_0_0 <- 4498_1016_0_65_0_0
6126_1018_1_65_2_0 <- 0_0_0_65_0_0
6126_1018_0_76_2_0 <- 0_0_0_76_0_0
13929_1001_5_8_0_0 <- 10040_1010_0_8_0_0
12621_1007_0_8_0_0 <- 9562_1011_0_8_0_0
13929_1001_5_11_0_0 <- 10040_1010_0_11_0_0
11659_1019_0_62_0_0 <- 11575_1020_0_62_2_0
3566_1017_0_87_2_0 <- 0_0_0_87_0_0
12621_1007_0_11_0_0 <- 9562_1011_0_11_0_0
455_1008_0_46_2_111 <- 455_1008_0_46_2_0
455_1008_0_46_2_112 <- 455_1008_0_46_2_0
455_1008_0_46_2_116 <- 455_1008_0_46_2_112
455_1008_0_46_2_117 <- 455_1008_0_46_2_112
455_1008_0_46_2_114 <- 455_1008_0_46_2_113
455_1008_0_46_2_115 <- 455_1008_0_46_2_113 , 455_1008_0_46_2_114
455_1008_0_46_2_118 <- 455_1008_0_46_2_117
455_1008_0_46_2_119 <- 455_1008_0_46_2_117
455_1008_0_46_2_120 <- 455_1008_0_46_2_119
455_1008_0_46_2_121 <- 455_1008_0_46_2_119
455_1008_0_46_2_122 <- 455_1008_0_46_2_121
455_1008_0_46_2_123 <- 455_1008_0_46_2_121
455_1008_0_46_2_124 <- 455_1008_0_46_2_123
455_1008_0_46_2_125 <- 455_1008_0_46_2_123
455_1008_0_46_2_126 <- 455_1008_0_46_2_125
455_1008_0_46_2_127 <- 455_1008_0_46_2_125
455_1008_0_46_2_128 <- 455_1008_0_46_2_127
455_1008_0_46_2_129 <- 455_1008_0_46_2_127
455_1008_0_46_2_130 <- 455_1008_0_46_2_129
455_1008_0_46_2_131 <- 455_1008_0_46_2_129
455_1008_0_46_2_132 <- 455_1008_0_46_2_131
455_1008_0_46_2_133 <- 455_1008_0_46_2_131
455_1008_0_46_2_134 <- 455_1008_0_46_2_133
455_1008_0_46_2_135 <- 455_1008_0_46_2_133
3785_1010_0_27_0_0 <- 6528_1006_0_27_0_0
19_0_0_19_0_5060 <- 2835_1018_0_19_2_0 , 3743_1011_1_19_0_0 , 0_0_0_19_0_0
3785_1010_0_39_0_0 <- 6528_1006_0_39_0_0
32962_1010_0_24_0_0 <- 24808_1017_0_24_2_0
13929_1001_5_35_0_0 <- 10040_1010_0_35_0_0
14864_1011_5_61_0_6604 <- 14864_1011_5_61_0_0
12621_1007_0_35_0_0 <- 9562_1011_0_35_0_0
3785_1010_0_52_0_0 <- 6528_1006_0_52_0_0
32962_1010_0_36_0_0 <- 24808_1017_0_36_2_0
117_0_0_3_0_0 <- 117_0_0_105_0_5041 , 8475_1011_7_105_0_0 , 0_0_0_105_0_0
14_0_0_14_0_5065 <- 24746_1018_0_14_2_0 , 0_0_0_14_0_0 , 32962_1011_2_14_0_0
6_0_0_5_0_0 <- 6_0_0_6_0_5055 , 14864_1011_7_6_0_0 , 0_0_0_6_0_0
13929_1001_5_48_0_0 <- 10040_1010_0_48_0_0
12621_1007_0_48_0_0 <- 9562_1011_0_48_0_0
47_0_0_34_0_0 <- 3428_1011_5_41_0_0 , 0_0_0_41_0_0 , 47_0_0_41_0_5362
3571_1018_0_24_0_0 <- 3429_1019_0_24_2_0
32962_1010_0_49_0_0 <- 24808_1017_0_49_2_0
3571_1018_0_36_0_0 <- 3429_1019_0_36_2_0
2461_1010_0_33_0_0 <- 1982_1017_0_33_2_0
59_0_0_46_0_0 <- 4004_1015_0_53_0_0 , 59_0_0_53_0_5222 , 0_0_0_53_0_0
14437_1003_0_61_0_0 <- 11914_1008_0_61_2_0
3571_1018_0_49_0_0 <- 3429_1019_0_49_2_0
8475_1010_5_26_0_0 <- 8475_1010_0_26_0_0
3785_1010_0_86_0_0 <- 6528_1006_0_86_0_0
2461_1010_0_45_0_0 <- 1982_1017_0_45_2_0
50_0_0_44_0_5353 <- 2528_1014_0_44_0_6753 , 2702_1017_0_44_2_6748 , 3132_1010_0_44_0_0 , 3507_1010_0_44_0_6749 , 3507_1010_5_44_0_6750 , 3140_1010_0_44_0_6752 , 3184_1011_0_44_0_0 , 0_0_0_44_0_6747
86_0_0_46_0_0 <- 86_0_0_74_0_5340 , 8310_1016_0_74_0_0 , 0_0_0_74_0_0
32435_1002_0_24_0_0 <- 21181_1006_0_24_0_0
8475_1010_5_38_0_0 <- 8475_1010_0_38_0_0
32962_1010_0_83_0_0 <- 24808_1017_0_83_2_0
2461_1010_0_58_0_0 <- 1982_1017_0_58_2_0
447_1017_0_34_2_6739 <- 447_1017_0_34_2_0
32435_1002_0_36_0_0 <- 21181_1006_0_36_0_0
8475_1010_5_51_0_0 <- 8475_1010_0_51_0_0
18110_1007_0_36_0_6816 <- 18110_1007_0_36_0_0
11949_1004_0_8_0_0 <- 14437_1000_0_8_0_0
3571_1018_0_83_0_0 <- 3429_1019_0_83_2_0
11949_1004_0_11_0_0 <- 14437_1000_0_11_0_0
32435_1002_0_49_0_0 <- 21181_1006_0_49_0_0
2702_1017_0_42_2_6770 <- 2702_1017_0_42_2_0
2702_1017_0_43_2_6759 <- 2702_1017_0_43_2_0
2702_1017_0_44_2_6748 <- 2702_1017_0_44_2_0
18110_1007_0_49_0_6705 <- 18110_1007_0_49_0_0
3513_1018_0_24_0_0 <- 3429_1019_0_24_2_0
12667_1009_0_61_2_0 <- 10959_1014_0_61_0_0
2702_1017_0_55_2_6659 <- 2702_1017_0_55_2_0
55_0_0_46_0_0 <- 55_0_0_49_0_5250 , 32443_1002_0_49_0_0 , 0_0_0_49_0_0
2702_1017_0_56_2_6648 <- 2702_1017_0_56_2_0
2461_1010_0_92_0_0 <- 1982_1017_0_92_2_0
2702_1017_0_57_2_6637 <- 2702_1017_0_57_2_0
3513_1018_0_36_0_0 <- 3429_1019_0_36_2_0
8475_1010_5_85_0_0 <- 8475_1010_0_85_0_0
13603_1018_0_63_0_0 <- 0_0_0_63_0_0
11949_1004_0_35_0_0 <- 14437_1000_0_35_0_0
4056_1016_0_66_0_6580 <- 4056_1016_0_66_0_0
3513_1018_0_49_0_0 <- 3429_1019_0_49_2_0
32435_1002_0_83_0_0 <- 21181_1006_0_83_0_0
18110_1007_0_83_0_6488 <- 18110_1007_0_83_0_0
11949_1004_0_48_0_0 <- 14437_1000_0_48_0_0
2702_1017_0_89_2_6442 <- 2702_1017_0_89_2_0
2702_1017_0_90_2_6431 <- 2702_1017_0_90_2_0
2702_1017_0_91_2_6420 <- 2702_1017_0_91_2_0
24_0_0_7_0_0 <- 24_0_0_24_0_5181 , 32443_1002_0_24_0_0 , 0_0_0_24_0_0
850_1008_0_46_0_0 <- 2116_1005_5_46_0_0
3513_1018_0_83_0_0 <- 3429_1019_0_83_2_0
254_1009_0_34_2_0 <- 724_1010_0_34_0_0
4_0_0_1_0_8 <- 3558_1012_0_3_2_7 , 0_0_0_3_0_4
13921_1001_0_11_0_0 <- 14489_1002_5_11_0_0 , 10040_1010_0_11_0_0
78_0_0_67_0_5288 <- 3368_1011_0_67_0_0 , 3743_1011_5_67_0_6574 , 3376_1011_0_67_0_6575 , 3420_1012_0_67_0_0 , 0_0_0_67_0_6572 , 2974_1018_5_67_2_6573
13921_1001_0_8_0_0 <- 14489_1002_5_8_0_6498 , 10040_1010_0_8_0_6501
5060_1012_0_65_2_6584 <- 5060_1012_0_65_2_0
25416_1018_0_62_0_0 <- 0_0_0_62_0_0
3029_1019_0_60_0_0 <- 0_0_0_60_0_0
13921_1001_0_35_0_0 <- 14489_1002_5_35_0_6826 , 10040_1010_0_35_0_6829
105_0_0_5_0_0 <- 0_0_0_93_0_0 , 32962_1011_4_93_0_0 , 105_0_0_93_0_5054
13921_1001_0_48_0_0 <- 14489_1002_5_48_0_6715 , 10040_1010_0_48_0_6718
2649_1020_0_66_2_0 <- 4287_1011_5_66_0_0
18_0_0_12_0_0 <- 0_0_0_18_0_0 , 18_0_0_18_0_5061 , 4287_1011_3_18_0_0
18_0_0_18_0_5061 <- 0_0_0_18_0_0 , 3504_1018_0_18_2_0 , 4287_1011_1_18_0_0
3743_1010_5_29_0_0 <- 3743_1010_0_29_0_0
3743_1010_0_41_0_6782 <- 3743_1010_0_41_0_0
3743_1010_5_41_0_0 <- 3743_1010_0_41_0_0
32962_1011_2_14_0_0 <- 24746_1018_0_14_2_0
12907_1005_0_8_0_0 <- 13929_1001_0_8_0_0
12907_1005_0_11_0_0 <- 13929_1001_0_11_0_0
3743_1010_0_54_0_6671 <- 3743_1010_0_54_0_0
3743_1010_5_54_0_0 <- 3743_1010_0_54_0_0
12621_1009_0_61_0_0 <- 14489_1005_0_61_0_0 , 10959_1014_0_61_0_0
646_1008_0_46_0_0 <- 2116_1006_1_46_0_0
12907_1005_0_35_0_0 <- 13929_1001_0_35_0_0
2461_1011_1_23_0_0 <- 1920_1018_0_23_2_0
2116_1006_5_46_0_0 <- 314_1018_0_46_0_0
3743_1010_0_88_0_6454 <- 3743_1010_0_88_0_0
5134_1020_0_61_0_6606 <- 5134_1020_0_61_0_0
9832_1010_0_37_0_6810 <- 9832_1010_0_37_0_0
12907_1005_0_48_0_0 <- 13929_1001_0_48_0_0
3743_1010_5_88_0_0 <- 3743_1010_0_88_0_0
14489_1005_5_61_0_6607 <- 14489_1005_5_61_0_0
6049_1017_0_27_2_0 <- 0_0_0_27_0_0
9832_1010_0_50_0_6699 <- 9832_1010_0_50_0_0
122_0_0_3_0_0 <- 122_0_0_110_0_5036 , 0_0_0_110_0_0 , 3507_1011_3_110_0_0
6049_1017_0_39_2_0 <- 0_0_0_39_0_0
0_0_0_10_0_0 <- 4161_1008_0_7_2_17
0_0_0_34_0_0 <- 4161_1008_0_7_2_80
0_0_0_46_0_0 <- 4161_1008_0_7_2_107
3140_1010_0_30_0_0 <- 3192_1011_0_30_0_0
3140_1010_0_31_0_0 <- 3192_1011_0_31_0_0
3140_1010_0_32_0_0 <- 3192_1011_0_32_0_0
6049_1017_0_52_2_0 <- 0_0_0_52_0_0
32962_1011_2_93_0_0 <- 24746_1018_0_93_2_0
3140_1010_0_42_0_0 <- 3192_1011_0_42_0_0
3140_1010_0_43_0_0 <- 3192_1011_0_43_0_0
3140_1010_0_44_0_0 <- 3192_1011_0_44_0_0
9832_1010_0_84_0_6482 <- 9832_1010_0_84_0_0
32962_1011_2_103_0_0 <- 24746_1018_0_103_2_0
3140_1010_0_55_0_0 <- 3192_1011_0_55_0_0
3140_1010_0_56_0_0 <- 3192_1011_0_56_0_0
3140_1010_0_57_0_0 <- 3192_1011_0_57_0_0
91_0_0_46_0_0 <- 91_0_0_79_0_5335 , 3507_1011_0_79_0_0 , 0_0_0_79_0_0
16734_1014_0_62_0_0 <- 16604_1014_0_62_0_0
6049_1017_0_86_2_0 <- 0_0_0_86_0_0
2461_1011_1_102_0_0 <- 1920_1018_0_102_2_0
20_0_0_20_0_5059 <- 2640_1018_0_20_2_0 , 3507_1011_1_20_0_0 , 0_0_0_20_0_0
2461_1011_1_112_0_0 <- 1920_1018_0_112_2_0
3140_1010_0_89_0_0 <- 3192_1011_0_89_0_0
3140_1010_0_90_0_0 <- 3192_1011_0_90_0_0
3140_1010_0_91_0_0 <- 3192_1011_0_91_0_0
3639_1018_0_66_0_0 <- 0_0_0_66_0_0
2721_1020_0_66_0_0 <- 2649_1020_0_66_2_0
4287_1010_0_28_0_0 <- 3566_1017_0_28_2_0
23_0_0_12_0_0 <- 0_0_0_23_0_0 , 23_0_0_23_0_5056 , 2461_1011_3_23_0_0
23_0_0_23_0_5056 <- 0_0_0_23_0_0 , 1920_1018_0_23_2_0 , 2461_1011_1_23_0_0
4287_1010_0_40_0_0 <- 3566_1017_0_40_2_0
3743_1010_5_41_0_6783 <- 3743_1010_5_41_0_0
10959_1014_0_61_0_0 <- 10954_1014_0_61_0_0 , 10941_1013_0_61_0_148
3192_1012_0_68_0_0 <- 2330_1016_0_68_2_0
3192_1012_0_69_0_0 <- 2330_1016_0_69_2_0
3192_1012_0_70_0_0 <- 2330_1016_0_70_2_0
14489_1003_0_8_0_0 <- 12667_1007_0_8_2_0
12907_1005_5_8_0_0 <- 13929_1001_5_8_0_0
14489_1003_0_11_0_0 <- 12667_1007_0_11_2_0
4287_1010_0_53_0_0 <- 3566_1017_0_53_2_0
12907_1005_5_11_0_0 <- 13929_1001_5_11_0_0
3743_1010_5_54_0_6672 <- 3743_1010_5_54_0_0
4004_1015_0_28_0_0 <- 4056_1015_5_28_0_0
10898_1015_0_61_0_0 <- 5134_1020_0_61_0_0
16676_1014_0_62_0_0 <- 16604_1014_0_62_0_0
7346_1019_0_47_2_0 <- 0_0_0_47_0_0
4004_1015_0_40_0_0 <- 4056_1015_5_40_0_0
14489_1003_0_35_0_0 <- 12667_1007_0_35_2_0
6580_1007_0_65_0_0 <- 5060_1012_0_65_2_0
12907_1005_5_35_0_0 <- 13929_1001_5_35_0_0
7346_1019_3_59_2_0 <- 0_0_0_59_0_0
4004_1015_0_53_0_0 <- 4056_1015_5_53_0_0
4287_1010_0_87_0_0 <- 3566_1017_0_87_2_0
3743_1010_5_88_0_6455 <- 3743_1010_5_88_0_0
14489_1003_0_48_0_0 <- 12667_1007_0_48_2_0
13526_1017_0_25_0_0 <- 0_0_0_25_0_0
12907_1005_5_48_0_0 <- 13929_1001_5_48_0_0
13526_1017_0_37_0_0 <- 0_0_0_37_0_0
6528_1007_0_65_0_0 <- 6580_1007_0_65_0_0
16922_1010_5_25_0_0 <- 16922_1010_0_25_0_0
13526_1017_0_50_0_0 <- 0_0_0_50_0_0
4004_1015_0_87_0_0 <- 4056_1015_5_87_0_0
9331_1013_0_8_0_0 <- 3308_1019_0_8_0_0
2728_1020_0_73_2_0 <- 32962_1011_5_73_0_0
2457_1010_0_33_0_0 <- 2461_1010_0_33_0_0 , 1982_1017_0_33_2_0
9331_1013_0_11_0_0 <- 3308_1019_0_11_0_0
16922_1010_5_37_0_0 <- 16922_1010_0_37_0_0
3420_1011_0_29_0_0 <- 2525_1015_0_29_2_0 , 2525_1015_5_29_2_0
2457_1010_0_45_0_0 <- 2461_1010_0_45_0_0 , 1982_1017_0_45_2_0
16922_1010_5_50_0_0 <- 16922_1010_0_50_0_0
112_0_0_100_0_5047 <- 2640_1018_0_100_2_0 , 3507_1011_1_100_0_0 , 0_0_0_100_0_0
3420_1011_0_41_0_0 <- 2525_1015_0_41_2_6784 , 2525_1015_5_41_2_6787
9331_1013_0_35_0_0 <- 3308_1019_0_35_0_0
2457_1010_0_58_0_0 <- 2461_1010_0_58_0_0 , 1982_1017_0_58_2_0
13526_1017_0_84_0_0 <- 0_0_0_84_0_0
78_0_0_46_0_0 <- 78_0_0_67_0_5288 , 2723_1015_0_67_0_0 , 0_0_0_67_0_0
254_1009_0_34_2_82 <- 254_1009_0_34_2_0
254_1009_0_34_2_83 <- 254_1009_0_34_2_0
254_1009_0_34_2_87 <- 254_1009_0_34_2_83
254_1009_0_34_2_88 <- 254_1009_0_34_2_83
254_1009_0_34_2_85 <- 254_1009_0_34_2_84
254_1009_0_34_2_86 <- 254_1009_0_34_2_84 , 254_1009_0_34_2_85
254_1009_0_34_2_89 <- 254_1009_0_34_2_88
254_1009_0_34_2_90 <- 254_1009_0_34_2_88
254_1009_0_34_2_91 <- 254_1009_0_34_2_90
254_1009_0_34_2_92 <- 254_1009_0_34_2_90
254_1009_0_34_2_93 <- 254_1009_0_34_2_92
254_1009_0_34_2_94 <- 254_1009_0_34_2_92
254_1009_0_34_2_95 <- 254_1009_0_34_2_94
254_1009_0_34_2_96 <- 254_1009_0_34_2_94
254_1009_0_34_2_97 <- 254_1009_0_34_2_96
254_1009_0_34_2_98 <- 254_1009_0_34_2_96
254_1009_0_34_2_99 <- 254_1009_0_34_2_98
254_1009_0_34_2_100 <- 254_1009_0_34_2_98
254_1009_0_34_2_101 <- 254_1009_0_34_2_100
254_1009_0_34_2_102 <- 254_1009_0_34_2_100
254_1009_0_34_2_103 <- 254_1009_0_34_2_102
254_1009_0_34_2_104 <- 254_1009_0_34_2_102
254_1009_0_34_2_105 <- 254_1009_0_34_2_104
254_1009_0_34_2_106 <- 254_1009_0_34_2_104
4017_1008_0_7_2_12 <- 0_0_0_7_0_0
4017_1008_0_7_2_13 <- 0_0_0_7_0_0
3420_1011_0_54_0_0 <- 2525_1015_0_54_2_6673 , 2525_1015_5_54_2_6676
1747_1017_0_46_2_0 <- 0_0_0_46_0_0
9331_1013_0_48_0_0 <- 3308_1019_0_48_0_0
16922_1010_5_84_0_0 <- 16922_1010_0_84_0_0
57_0_0_46_0_0 <- 0_0_0_51_0_0 , 8051_1012_0_51_0_0 , 57_0_0_51_0_5238
13468_1018_0_15_2_0 <- 0_0_0_15_0_0
2457_1010_0_92_0_0 <- 2461_1010_0_92_0_0 , 1982_1017_0_92_2_0
8242_1013_0_64_0_0 <- 8475_1011_3_64_0_0
28_0_0_7_0_0 <- 0_0_0_26_0_0 , 8051_1012_0_26_0_0 , 28_0_0_26_0_5169
2670_1020_0_73_0_0 <- 32962_1011_5_73_0_0
3420_1011_0_88_0_0 <- 2525_1015_0_88_2_6456 , 2525_1015_5_88_2_6459
6580_1007_5_27_0_0 <- 5060_1012_5_27_2_0
6580_1007_5_39_0_0 <- 5060_1012_5_39_2_0
88_0_0_46_0_0 <- 4058_1016_0_76_0_0 , 88_0_0_76_0_5338 , 0_0_0_76_0_0
6580_1007_5_52_0_0 <- 5060_1012_5_52_2_0
18110_1007_0_24_0_0 <- 32391_1003_0_24_0_0
12000_1008_0_61_0_0 <- 11995_1007_0_61_0_0 , 11906_1008_0_61_0_0
18110_1007_0_36_0_0 <- 32391_1003_0_36_0_0
16_0_0_12_0_0 <- 16_0_0_16_0_5063 , 8475_1011_7_16_0_0 , 0_0_0_16_0_0
18110_1007_0_49_0_0 <- 32391_1003_0_49_0_0
8198_1015_0_25_0_0 <- 16386_1006_5_25_0_0
9_0_0_10_0_5137 <- 172_1017_0_10_2_0 , 0_0_0_10_0_0
6580_1007_5_86_0_0 <- 5060_1012_5_86_2_0
13468_1018_0_94_2_0 <- 0_0_0_94_0_0
8198_1015_0_37_0_0 <- 16386_1006_5_37_0_0
4287_1011_1_18_0_0 <- 3504_1018_0_18_2_0
13468_1018_0_104_2_0 <- 0_0_0_104_0_0
0_0_0_3_0_4 <- 2_0_0_1_0_3
8198_1015_0_50_0_0 <- 16386_1006_5_50_0_0
18110_1007_0_83_0_0 <- 32391_1003_0_83_0_0
18052_1007_0_24_0_0 <- 32391_1003_0_24_0_0
16922_1010_0_25_0_0 <- 13530_1017_0_25_2_0
18052_1007_0_36_0_0 <- 32391_1003_0_36_0_0
12667_1006_0_8_2_0 <- 9709_1011_0_8_0_0
12667_1006_0_11_2_0 <- 9709_1011_0_11_0_0
16922_1010_0_37_0_0 <- 13530_1017_0_37_2_0
8198_1015_0_84_0_0 <- 16386_1006_5_84_0_0
18052_1007_0_49_0_0 <- 32391_1003_0_49_0_0
8140_1015_0_25_0_0 <- 16386_1006_5_25_0_0
91_0_0_79_0_5335 <- 0_0_0_79_0_0 , 2779_1018_0_79_2_0
16922_1010_0_50_0_0 <- 13530_1017_0_50_2_0
2461_1011_3_23_0_0 <- 2461_1011_1_23_0_0
12667_1006_0_35_2_0 <- 9709_1011_0_35_0_0
62_0_0_46_0_0 <- 0_0_0_56_0_0 , 62_0_0_56_0_5213 , 3192_1011_5_56_0_0
8140_1015_0_37_0_0 <- 16386_1006_5_37_0_0
16227_1007_0_63_0_0 <- 16386_1006_0_63_0_0
12667_1006_0_48_2_0 <- 9709_1011_0_48_0_0
8140_1015_0_50_0_0 <- 16386_1006_5_50_0_0
4287_1011_1_97_0_0 <- 3504_1018_0_97_2_0
18052_1007_0_83_0_0 <- 32391_1003_0_83_0_0
8471_1011_0_64_0_0 <- 7246_1018_1_64_2_0
8916_1015_0_37_0_6808 <- 8916_1015_0_37_0_0
13102_1017_0_8_2_6493 <- 13102_1017_0_8_2_0
13102_1017_0_11_2_6882 <- 13102_1017_0_11_2_0
34_0_0_7_0_0 <- 34_0_0_29_0_5150 , 3428_1011_5_29_0_0 , 0_0_0_29_0_0
16922_1010_0_84_0_0 <- 13530_1017_0_84_2_0
4287_1011_1_107_0_0 <- 3504_1018_0_107_2_0
2108_1005_0_46_0_0 <- 2116_1006_3_46_0_0 , 2116_1006_5_46_0_0 , 2116_1006_7_46_0_0
3562_1017_0_28_0_0 <- 0_0_0_28_0_0
8916_1015_0_50_0_6697 <- 8916_1015_0_50_0_0
3562_1017_0_40_0_0 <- 0_0_0_40_0_0
32435_998_0_24_0_0 <- 21181_1002_0_24_0_0
1054_1008_0_46_0_0 <- 2116_1005_1_46_0_0
13102_1017_0_35_2_6821 <- 13102_1017_0_35_2_0
8140_1015_0_84_0_0 <- 16386_1006_5_84_0_0
724_1010_0_34_0_6740 <- 724_1010_0_34_0_0
3562_1017_0_53_0_0 <- 0_0_0_53_0_0
32435_998_0_36_0_0 <- 21181_1002_0_36_0_0
0_0_0_61_0_0 <- 854_1008_0_46_2_143
0_0_0_62_0_0 <- 854_1008_0_46_2_149
0_0_0_63_0_0 <- 854_1008_0_46_2_152
0_0_0_64_0_0 <- 854_1008_0_46_2_155
0_0_0_65_0_0 <- 854_1008_0_46_2_158
0_0_0_66_0_0 <- 854_1008_0_46_2_161
0_0_0_67_0_0 <- 854_1008_0_46_2_164
0_0_0_68_0_0 <- 854_1008_0_46_2_166
0_0_0_69_0_0 <- 854_1008_0_46_2_168
0_0_0_70_0_0 <- 854_1008_0_46_2_170
0_0_0_71_0_0 <- 854_1008_0_46_2_172
13102_1017_0_48_2_6710 <- 13102_1017_0_48_2_0
32391_1003_0_24_0_0 <- 32443_998_0_24_0_0
8916_1015_0_84_0_6480 <- 8916_1015_0_84_0_0
6122_1018_0_65_0_0 <- 0_0_0_65_0_0
32435_998_0_49_0_0 <- 21181_1002_0_49_0_0
527_1018_0_46_0_0 <- 517_1018_0_46_0_0
2461_1011_3_102_0_0 <- 2461_1011_1_102_0_0
0_0_0_7_0_0 <- 7_0_0_0_0_0
32391_1003_0_36_0_0 <- 32443_998_0_36_0_0
3368_1011_0_67_0_0 <- 3428_1012_0_67_0_0
2461_1011_3_112_0_0 <- 2461_1011_1_112_0_0
3562_1017_0_87_0_0 <- 0_0_0_87_0_0
475_1014_0_46_2_0 <- 455_1008_0_46_2_115
32391_1003_0_49_0_0 <- 32443_998_0_49_0_0
455_1008_0_46_2_0 <- 2116_1004_0_46_0_0
3781_1010_0_27_0_0 <- 6528_1006_0_27_0_0
32435_998_0_83_0_0 <- 21181_1002_0_83_0_0
3558_1012_0_3_2_241 <- 3558_1012_0_3_2_6
3558_1012_0_3_2_242 <- 3558_1012_0_3_2_6
3558_1012_0_3_2_243 <- 3558_1012_0_3_2_242
3558_1012_0_3_2_244 <- 3558_1012_0_3_2_242
3558_1012_0_3_2_245 <- 3558_1012_0_3_2_244
3558_1012_0_3_2_246 <- 3558_1012_0_3_2_244
3558_1012_0_3_2_247 <- 3558_1012_0_3_2_246
3558_1012_0_3_2_248 <- 3558_1012_0_3_2_246
3558_1012_0_3_2_249 <- 3558_1012_0_3_2_248
3558_1012_0_3_2_250 <- 3558_1012_0_3_2_248
3558_1012_0_3_2_251 <- 3558_1012_0_3_2_250
3558_1012_0_3_2_252 <- 3558_1012_0_3_2_250
3558_1012_0_3_2_253 <- 3558_1012_0_3_2_252
3558_1012_0_3_2_254 <- 3558_1012_0_3_2_252
3558_1012_0_3_2_255 <- 3558_1012_0_3_2_254
3558_1012_0_3_2_256 <- 3558_1012_0_3_2_254
3558_1012_0_3_2_257 <- 3558_1012_0_3_2_256
3558_1012_0_3_2_258 <- 3558_1012_0_3_2_256
3558_1012_0_3_2_259 <- 3558_1012_0_3_2_258
3558_1012_0_3_2_260 <- 3558_1012_0_3_2_258
3558_1012_0_5_2_221 <- 3558_1012_0_5_2_10
3558_1012_0_5_2_222 <- 3558_1012_0_5_2_10
3558_1012_0_5_2_223 <- 3558_1012_0_5_2_222
3558_1012_0_5_2_224 <- 3558_1012_0_5_2_222
3558_1012_0_5_2_225 <- 3558_1012_0_5_2_224
3558_1012_0_5_2_226 <- 3558_1012_0_5_2_224
3558_1012_0_5_2_227 <- 3558_1012_0_5_2_226
3558_1012_0_5_2_228 <- 3558_1012_0_5_2_226
3558_1012_0_5_2_229 <- 3558_1012_0_5_2_228
3558_1012_0_5_2_230 <- 3558_1012_0_5_2_228
3558_1012_0_5_2_231 <- 3558_1012_0_5_2_230
3558_1012_0_5_2_232 <- 3558_1012_0_5_2_230
3558_1012_0_5_2_233 <- 3558_1012_0_5_2_232
3558_1012_0_5_2_234 <- 3558_1012_0_5_2_232
3558_1012_0_5_2_235 <- 3558_1012_0_5_2_234
3558_1012_0_5_2_236 <- 3558_1012_0_5_2_234
3558_1012_0_5_2_237 <- 3558_1012_0_5_2_236
3558_1012_0_5_2_238 <- 3558_1012_0_5_2_236
3558_1012_0_5_2_239 <- 3558_1012_0_5_2_238
3558_1012_0_5_2_240 <- 3558_1012_0_5_2_238
3781_1010_0_39_0_0 <- 6528_1006_0_39_0_0
32958_1010_0_24_0_0 <- 24808_1017_0_24_2_0 , 32962_1010_0_24_0_0
12907_1005_0_8_0_6500 <- 12907_1005_0_8_0_0
11995_1007_0_61_0_0 <- 14437_1003_0_61_0_0
3558_1012_0_12_2_30 <- 3558_1012_0_12_2_28
3558_1012_0_12_2_31 <- 3558_1012_0_12_2_28
3558_1012_0_12_2_32 <- 3558_1012_0_12_2_31
3558_1012_0_12_2_33 <- 3558_1012_0_12_2_31
3558_1012_0_12_2_34 <- 3558_1012_0_12_2_33
3558_1012_0_12_2_35 <- 3558_1012_0_12_2_33
3558_1012_0_12_2_36 <- 3558_1012_0_12_2_35
3558_1012_0_12_2_37 <- 3558_1012_0_12_2_35
3558_1012_0_12_2_38 <- 3558_1012_0_12_2_37
3558_1012_0_12_2_39 <- 3558_1012_0_12_2_37
3558_1012_0_12_2_40 <- 3558_1012_0_12_2_39
3558_1012_0_12_2_41 <- 3558_1012_0_12_2_39
3558_1012_0_12_2_42 <- 3558_1012_0_12_2_41
3558_1012_0_12_2_43 <- 3558_1012_0_12_2_41
3558_1012_0_12_2_44 <- 3558_1012_0_12_2_43
3558_1012_0_12_2_45 <- 3558_1012_0_12_2_43
3558_1012_0_12_2_46 <- 3558_1012_0_12_2_45
3558_1012_0_12_2_47 <- 3558_1012_0_12_2_45
3558_1012_0_12_2_48 <- 3558_1012_0_12_2_47
3558_1012_0_12_2_49 <- 3558_1012_0_12_2_47
3504_1018_0_18_2_0 <- 0_0_0_18_0_0
4161_1008_0_7_2_17 <- 4017_1008_0_7_2_16
4161_1008_0_7_2_18 <- 4017_1008_0_7_2_16
3781_1010_0_52_0_0 <- 6528_1006_0_52_0_0
32958_1010_0_36_0_0 <- 24808_1017_0_36_2_0 , 32962_1010_0_36_0_0
122_0_0_110_0_5036 <- 2640_1018_0_110_2_0 , 3507_1011_1_110_0_0 , 0_0_0_110_0_0
32391_1003_0_83_0_0 <- 32443_998_0_83_0_0
32958_1010_0_49_0_0 <- 24808_1017_0_49_2_0 , 32962_1010_0_49_0_0
12907_1005_0_35_0_6828 <- 12907_1005_0_35_0_0
57_0_0_51_0_5238 <- 8471_1010_0_51_0_0 , 1554_1019_0_51_0_6692 , 1407_1019_0_51_0_6691 , 7165_1017_0_51_0_0 , 8242_1012_5_51_0_6693
8471_1010_0_26_0_0 <- 8475_1010_0_26_0_0 , 7169_1017_0_26_2_0
12907_1005_0_48_0_6717 <- 12907_1005_0_48_0_0
3781_1010_0_86_0_0 <- 6528_1006_0_86_0_0
8471_1010_0_38_0_0 <- 8475_1010_0_38_0_0 , 7169_1017_0_38_2_0
32958_1010_0_83_0_0 <- 24808_1017_0_83_2_0 , 32962_1010_0_83_0_0
2461_1011_5_71_0_6546 <- 2461_1011_5_71_0_0
8471_1010_0_51_0_0 <- 8475_1010_0_51_0_0 , 7169_1017_0_51_2_0
16378_1006_0_63_0_0 <- 9572_1010_0_63_0_0
21_0_0_12_0_0 <- 21_0_0_21_0_5058 , 0_0_0_21_0_0 , 3507_1011_3_21_0_0
3504_1018_0_97_2_0 <- 0_0_0_97_0_0
2525_1015_0_41_2_6784 <- 2525_1015_0_41_2_0
9832_1010_0_25_0_0 <- 16227_1006_0_25_0_0
11575_1020_0_62_2_0 <- 32962_1011_0_62_0_0
8471_1010_0_85_0_0 <- 8475_1010_0_85_0_0 , 7169_1017_0_85_2_0
3504_1018_0_107_2_0 <- 0_0_0_107_0_0
2525_1015_0_54_2_6673 <- 2525_1015_0_54_2_0
9832_1010_0_37_0_0 <- 16227_1006_0_37_0_0
16922_1011_5_15_0_0 <- 13468_1018_0_15_2_0
9832_1010_0_50_0_0 <- 16227_1006_0_50_0_0
101_0_0_7_0_0 <- 101_0_0_89_0_5076 , 0_0_0_89_0_0 , 3192_1011_5_89_0_0
4401_1008_0_7_2_22 <- 4161_1008_0_7_2_21
4401_1008_0_7_2_23 <- 4161_1008_0_7_2_21
12861_1008_0_61_0_0 <- 13929_1004_0_61_0_6608 , 13929_1004_5_61_0_6611
2311_1013_0_71_0_0 <- 2461_1011_5_71_0_0
2525_1015_0_88_2_6456 <- 2525_1015_0_88_2_0
14864_1010_0_8_0_0 <- 13102_1017_0_8_2_0
14864_1010_0_11_0_0 <- 13102_1017_0_11_2_0
4287_1010_5_28_0_0 <- 4287_1010_0_28_0_0
3743_1010_0_29_0_0 <- 2897_1017_0_29_2_0
724_1010_0_34_0_0 <- 447_1017_0_34_2_0
9832_1010_0_84_0_0 <- 16227_1006_0_84_0_0
4287_1010_5_40_0_0 <- 4287_1010_0_40_0_0
3743_1010_0_41_0_0 <- 2897_1017_0_41_2_0
0_0_0_4_0_0 <- 3558_1012_0_3_2_5
9774_1010_0_25_0_0 <- 16227_1006_0_25_0_0
0_0_0_6_0_0 <- 3558_1012_0_5_2_9
0_0_0_103_0_0 <- 3558_1012_0_3_2_241
0_0_0_104_0_0 <- 3558_1012_0_3_2_243
0_0_0_105_0_0 <- 3558_1012_0_3_2_245
0_0_0_106_0_0 <- 3558_1012_0_3_2_247
0_0_0_107_0_0 <- 3558_1012_0_3_2_249
0_0_0_108_0_0 <- 3558_1012_0_3_2_251
0_0_0_109_0_0 <- 3558_1012_0_3_2_253
0_0_0_110_0_0 <- 3558_1012_0_3_2_255
0_0_0_111_0_0 <- 3558_1012_0_3_2_257
0_0_0_112_0_0 <- 3558_1012_0_3_2_259
11517_1020_0_62_0_0 <- 32962_1011_0_62_0_0
0_0_0_93_0_0 <- 3558_1012_0_5_2_221
0_0_0_94_0_0 <- 3558_1012_0_5_2_223
0_0_0_95_0_0 <- 3558_1012_0_5_2_225
0_0_0_96_0_0 <- 3558_1012_0_5_2_227
0_0_0_97_0_0 <- 3558_1012_0_5_2_229
0_0_0_98_0_0 <- 3558_1012_0_5_2_231
0_0_0_99_0_0 <- 3558_1012_0_5_2_233
0_0_0_100_0_0 <- 3558_1012_0_5_2_235
0_0_0_101_0_0 <- 3558_1012_0_5_2_237
0_0_0_102_0_0 <- 3558_1012_0_5_2_239
14864_1010_0_35_0_0 <- 13102_1017_0_35_2_0
4287_1010_5_53_0_0 <- 4287_1010_0_53_0_0
0_0_0_13_0_0 <- 3558_1012_0_12_2_27
0_0_0_14_0_0 <- 3558_1012_0_12_2_30
0_0_0_15_0_0 <- 3558_1012_0_12_2_32
0_0_0_16_0_0 <- 3558_1012_0_12_2_34
0_0_0_17_0_0 <- 3558_1012_0_12_2_36
0_0_0_18_0_0 <- 3558_1012_0_12_2_38
0_0_0_19_0_0 <- 3558_1012_0_12_2_40
0_0_0_20_0_0 <- 3558_1012_0_12_2_42
0_0_0_21_0_0 <- 3558_1012_0_12_2_44
0_0_0_22_0_0 <- 3558_1012_0_12_2_46
0_0_0_23_0_0 <- 3558_1012_0_12_2_48
802_1019_0_33_0_0 <- 2461_1010_5_33_0_0
13929_1001_0_8_0_6499 <- 13929_1001_0_8_0_0
3743_1010_0_54_0_0 <- 2897_1017_0_54_2_0
9774_1010_0_37_0_0 <- 16227_1006_0_37_0_0
3184_1011_0_30_0_0 <- 2330_1015_0_30_2_0 , 2330_1015_5_30_2_0
3184_1011_0_31_0_0 <- 2330_1015_0_31_2_0 , 2330_1015_5_31_2_0
3184_1011_0_32_0_0 <- 2330_1015_0_32_2_0 , 2330_1015_5_32_2_0
14864_1010_0_48_0_0 <- 13102_1017_0_48_2_0
87_0_0_46_0_0 <- 8475_1011_0_75_0_0 , 0_0_0_75_0_0 , 87_0_0_75_0_5339
802_1019_0_45_0_0 <- 2461_1010_5_45_0_0
16922_1011_5_94_0_0 <- 13468_1018_0_94_2_0
9774_1010_0_50_0_0 <- 16227_1006_0_50_0_0
64_0_0_58_0_5207 <- 949_1019_0_58_0_6631 , 2457_1010_0_58_0_0 , 1978_1017_0_58_0_0 , 2311_1012_5_58_0_6632 , 802_1019_0_58_0_6630
11906_1008_0_61_0_0 <- 10898_1015_0_61_0_0
3184_1011_0_42_0_0 <- 2330_1015_0_42_2_6773 , 2330_1015_5_42_2_6776
3184_1011_0_43_0_0 <- 2330_1015_0_43_2_6762 , 2330_1015_5_43_2_6765
3184_1011_0_44_0_0 <- 2330_1015_0_44_2_6751 , 2330_1015_5_44_2_6754
16922_1011_5_104_0_0 <- 13468_1018_0_104_2_0
802_1019_0_58_0_0 <- 2461_1010_5_58_0_0
13929_1001_0_35_0_6827 <- 13929_1001_0_35_0_0
4287_1010_5_87_0_0 <- 4287_1010_0_87_0_0
72_0_0_46_0_0 <- 0_0_0_64_0_0 , 72_0_0_64_0_5302 , 8051_1013_0_64_0_0
13921_1004_0_61_0_0 <- 11290_1013_0_61_0_6610 , 14489_1005_5_61_0_6607
3184_1011_0_55_0_0 <- 2330_1015_0_55_2_6662 , 2330_1015_5_55_2_6665
3785_1011_0_65_0_0 <- 6528_1007_0_65_0_0
3743_1010_0_88_0_0 <- 2897_1017_0_88_2_0
3184_1011_0_56_0_0 <- 2330_1015_0_56_2_6651 , 2330_1015_5_56_2_6654
3184_1011_0_57_0_0 <- 2330_1015_0_57_2_6640 , 2330_1015_5_57_2_6643
2645_1020_0_66_0_0 <- 4287_1011_5_66_0_0
13929_1001_0_48_0_6716 <- 13929_1001_0_48_0_0
14481_1002_0_8_0_0 <- 12667_1006_0_8_2_0 , 12667_1006_5_8_2_0
9774_1010_0_84_0_0 <- 16227_1006_0_84_0_0
364_1010_0_10_0_0 <- 172_1017_0_10_2_0
14481_1002_0_11_0_0 <- 12667_1006_0_11_2_0 , 12667_1006_5_11_2_0
802_1019_0_92_0_0 <- 2461_1010_5_92_0_0
3184_1011_0_89_0_0 <- 2330_1015_0_89_2_6445 , 2330_1015_5_89_2_6448
3184_1011_0_90_0_0 <- 2330_1015_0_90_2_6434 , 2330_1015_5_90_2_6437
3184_1011_0_91_0_0 <- 2330_1015_0_91_2_6423 , 2330_1015_5_91_2_6426
14481_1002_0_35_0_0 <- 12667_1006_0_35_2_0 , 12667_1006_5_35_2_0
2525_1015_5_41_2_6787 <- 2525_1015_5_41_2_0
8475_1011_7_16_0_0 <- 8475_1011_1_16_0_0
14481_1002_0_48_0_0 <- 12667_1006_0_48_2_0 , 12667_1006_5_48_2_0
2525_1015_5_54_2_6676 <- 2525_1015_5_54_2_0
6908_1010_0_27_0_0 <- 6049_1017_0_27_2_0
6908_1010_0_39_0_0 <- 6049_1017_0_39_2_0
6908_1010_0_52_0_0 <- 6049_1017_0_52_2_0
2525_1015_5_88_2_6459 <- 2525_1015_5_88_2_0
6045_1017_0_27_0_0 <- 0_0_0_27_0_0
2723_1014_0_41_0_6786 <- 2723_1014_0_41_0_0
6045_1017_0_39_0_0 <- 0_0_0_39_0_0
2723_1014_0_54_0_6675 <- 2723_1014_0_54_0_0
6045_1017_0_52_0_0 <- 0_0_0_52_0_0
6908_1010_0_86_0_0 <- 6049_1017_0_86_2_0
21181_1002_0_24_0_0 <- 16734_1012_0_24_0_0
8475_1011_7_95_0_0 <- 8475_1011_1_95_0_0
13929_1001_5_8_0_6502 <- 13929_1001_5_8_0_0
32443_1000_0_62_0_0 <- 21181_1004_0_62_0_0
8475_1011_7_105_0_0 <- 8475_1011_1_105_0_0
5060_1012_5_27_2_0 <- 3785_1010_0_27_0_0
21181_1002_0_36_0_0 <- 16734_1012_0_36_0_0
2723_1014_0_88_0_6458 <- 2723_1014_0_88_0_0
5060_1012_5_39_2_0 <- 3785_1010_0_39_0_0
21181_1002_0_49_0_0 <- 16734_1012_0_49_0_0
8475_1011_3_64_0_6589 <- 8475_1011_3_64_0_0
6045_1017_0_86_0_0 <- 0_0_0_86_0_0
13929_1001_5_35_0_6830 <- 13929_1001_5_35_0_0
5060_1012_5_52_2_0 <- 3785_1010_0_52_0_0
13929_1001_5_48_0_6719 <- 13929_1001_5_48_0_0
26_0_0_7_0_0 <- 26_0_0_25_0_5172 , 8310_1015_0_25_0_0 , 0_0_0_25_0_0
4283_1010_0_28_0_0 <- 3566_1017_0_28_2_0 , 4287_1010_0_28_0_0
0_0_0_48_0_0 <- 455_1008_0_46_2_111
0_0_0_49_0_0 <- 455_1008_0_46_2_116
0_0_0_50_0_0 <- 455_1008_0_46_2_118
0_0_0_51_0_0 <- 455_1008_0_46_2_120
0_0_0_52_0_0 <- 455_1008_0_46_2_122
0_0_0_53_0_0 <- 455_1008_0_46_2_124
0_0_0_54_0_0 <- 455_1008_0_46_2_126
0_0_0_55_0_0 <- 455_1008_0_46_2_128
0_0_0_56_0_0 <- 455_1008_0_46_2_130
0_0_0_57_0_0 <- 455_1008_0_46_2_132
0_0_0_58_0_0 <- 455_1008_0_46_2_134
5987_1018_0_17_2_0 <- 0_0_0_17_0_0
14864_1011_0_4_0_0 <- 13040_1018_0_4_2_0
21181_1002_0_83_0_0 <- 16734_1012_0_83_0_0
3743_1011_1_19_0_0 <- 2835_1018_0_19_2_0
14864_1011_0_6_0_0 <- 13040_1018_0_6_2_0
10954_1014_0_61_0_0 <- 12000_1008_0_61_0_0
4283_1010_0_40_0_0 <- 3566_1017_0_40_2_0 , 4287_1010_0_40_0_0
3308_1019_0_8_0_0 <- 3221_1019_0_8_0_0
3308_1019_0_11_0_0 <- 3221_1019_0_11_0_0
14864_1011_0_13_0_0 <- 13040_1018_0_13_2_0
5060_1012_5_86_2_0 <- 3785_1010_0_86_0_0
4283_1010_0_53_0_0 <- 3566_1017_0_53_2_0 , 4287_1010_0_53_0_0
3308_1019_0_35_0_0 <- 3221_1019_0_35_0_0
82_0_0_46_0_0 <- 2259_1013_0_71_0_0 , 0_0_0_71_0_0 , 82_0_0_71_0_5276
3743_1011_3_19_0_0 <- 3743_1011_1_19_0_0
3308_1019_0_48_0_0 <- 3221_1019_0_48_0_0
4283_1010_0_87_0_0 <- 3566_1017_0_87_2_0 , 4287_1010_0_87_0_0
2311_1012_5_33_0_0 <- 949_1019_0_33_0_0
2311_1012_5_45_0_0 <- 949_1019_0_45_0_0
16918_1010_0_25_0_0 <- 16922_1010_0_25_0_0 , 13530_1017_0_25_2_0
5987_1018_0_96_2_0 <- 0_0_0_96_0_0
2311_1012_5_58_0_0 <- 949_1019_0_58_0_0
3743_1011_1_98_0_0 <- 2835_1018_0_98_2_0
16918_1010_0_37_0_0 <- 16922_1010_0_37_0_0 , 13530_1017_0_37_2_0
5987_1018_0_106_2_0 <- 0_0_0_106_0_0
4004_1016_0_66_0_0 <- 4056_1016_0_66_0_0
3743_1011_1_108_0_0 <- 2835_1018_0_108_2_0
9562_1011_0_8_0_0 <- 9521_1011_0_8_0_0
9562_1011_0_11_0_0 <- 9521_1011_0_11_0_0
16918_1010_0_50_0_0 <- 16922_1010_0_50_0_0 , 13530_1017_0_50_2_0
32962_1010_1_24_0_0 <- 32962_1010_0_24_0_0
3221_1019_0_8_0_6496 <- 3221_1019_0_8_0_0
44_0_0_34_0_0 <- 44_0_0_38_0_5381 , 0_0_0_38_0_0 , 8051_1012_0_38_0_0
3221_1019_0_11_0_6885 <- 3221_1019_0_11_0_0
2311_1012_5_92_0_0 <- 949_1019_0_92_0_0
32962_1010_1_36_0_0 <- 32962_1010_0_36_0_0
274_1015_0_34_2_0 <- 254_1009_0_34_2_86
111_0_0_5_0_0 <- 0_0_0_99_0_0 , 3507_1011_3_99_0_0 , 111_0_0_99_0_5048
1058_1008_0_46_2_175 <- 1058_1008_0_46_2_0
1058_1008_0_46_2_176 <- 1058_1008_0_46_2_0
1058_1008_0_46_2_181 <- 1058_1008_0_46_2_176
1058_1008_0_46_2_182 <- 1058_1008_0_46_2_176
1058_1008_0_46_2_178 <- 1058_1008_0_46_2_177
1058_1008_0_46_2_179 <- 1058_1008_0_46_2_177 , 1058_1008_0_46_2_178
1058_1008_0_46_2_183 <- 1058_1008_0_46_2_182
1058_1008_0_46_2_184 <- 1058_1008_0_46_2_182
1058_1008_0_46_2_185 <- 1058_1008_0_46_2_184
1058_1008_0_46_2_186 <- 1058_1008_0_46_2_184
1058_1008_0_46_2_187 <- 1058_1008_0_46_2_186
1058_1008_0_46_2_188 <- 1058_1008_0_46_2_186
1058_1008_0_46_2_189 <- 1058_1008_0_46_2_188
1058_1008_0_46_2_190 <- 1058_1008_0_46_2_188
1058_1008_0_46_2_191 <- 1058_1008_0_46_2_190
1058_1008_0_46_2_192 <- 1058_1008_0_46_2_190
1058_1008_0_46_2_193 <- 1058_1008_0_46_2_192
1058_1008_0_46_2_194 <- 1058_1008_0_46_2_192
1058_1008_0_46_2_195 <- 1058_1008_0_46_2_194
1058_1008_0_46_2_196 <- 1058_1008_0_46_2_194
1058_1008_0_46_2_197 <- 1058_1008_0_46_2_196
1058_1008_0_46_2_198 <- 1058_1008_0_46_2_196
1058_1008_0_46_2_199 <- 1058_1008_0_46_2_198
1058_1008_0_46_2_200 <- 1058_1008_0_46_2_198
3743_1011_3_98_0_0 <- 3743_1011_1_98_0_0
9562_1011_0_35_0_0 <- 9521_1011_0_35_0_0
1743_1017_0_46_0_0 <- 0_0_0_46_0_0
21_0_0_21_0_5058 <- 2640_1018_0_21_2_0 , 3507_1011_1_21_0_0 , 0_0_0_21_0_0
32962_1010_1_49_0_0 <- 32962_1010_0_49_0_0
6908_1011_7_17_0_0 <- 5987_1018_0_17_2_0
2116_1008_0_46_0_0 <- 2194_1010_0_46_0_0
3743_1011_3_108_0_0 <- 3743_1011_1_108_0_0
16918_1010_0_84_0_0 <- 16922_1010_0_84_0_0 , 13530_1017_0_84_2_0
3221_1019_0_35_0_6824 <- 3221_1019_0_35_0_0
9562_1011_0_48_0_0 <- 9521_1011_0_48_0_0
3140_1011_0_68_0_0 <- 3192_1012_0_68_0_0
3140_1011_0_69_0_0 <- 3192_1012_0_69_0_0
3140_1011_0_70_0_0 <- 3192_1012_0_70_0_0
3558_1012_0_3_2_5 <- 0_0_0_3_0_4
3558_1012_0_3_2_6 <- 0_0_0_3_0_4
3221_1019_0_48_0_6713 <- 3221_1019_0_48_0_0
3558_1012_0_5_2_9 <- 0_0_0_5_0_0
3558_1012_0_5_2_10 <- 0_0_0_5_0_0
3558_1012_0_12_2_27 <- 0_0_0_12_0_0
3558_1012_0_12_2_28 <- 0_0_0_12_0_0
1119_1018_0_46_0_0 <- 1662_1014_1_46_2_0 , 1118_1018_0_46_0_0
32962_1010_1_83_0_0 <- 32962_1010_0_83_0_0
3376_1010_0_41_0_6785 <- 3376_1010_0_41_0_0
403_1015_0_34_2_0 <- 274_1015_0_34_2_0
3376_1010_0_54_0_6674 <- 3376_1010_0_54_0_0
93_0_0_46_0_0 <- 93_0_0_81_0_5333 , 3507_1011_0_81_0_0 , 0_0_0_81_0_0
6908_1011_7_96_0_0 <- 5987_1018_0_96_2_0
3376_1010_0_88_0_6457 <- 3376_1010_0_88_0_0
3743_1011_5_67_0_6574 <- 3743_1011_5_67_0_0
6908_1011_7_106_0_0 <- 5987_1018_0_106_2_0
8051_1012_0_26_0_0 <- 8242_1012_5_26_0_0
466_1014_0_46_0_0 <- 455_1008_0_46_2_115
8051_1012_0_38_0_0 <- 8242_1012_5_38_0_0
3507_1010_0_30_0_0 <- 2702_1017_0_30_2_0
3507_1010_0_31_0_0 <- 2702_1017_0_31_2_0
3507_1010_0_32_0_0 <- 2702_1017_0_32_2_0
8051_1012_0_51_0_0 <- 8242_1012_5_51_0_0
113_0_0_101_0_5046 <- 2640_1018_0_101_2_0 , 3507_1011_1_101_0_0 , 0_0_0_101_0_0
3507_1010_0_42_0_0 <- 2702_1017_0_42_2_0
3507_1010_0_43_0_0 <- 2702_1017_0_43_2_0
3507_1010_0_44_0_0 <- 2702_1017_0_44_2_0
1500_1019_0_28_0_6860 <- 1500_1019_0_28_0_0
3507_1010_0_55_0_0 <- 2702_1017_0_55_2_0
3507_1010_0_56_0_0 <- 2702_1017_0_56_2_0
1500_1019_0_40_0_6791 <- 1500_1019_0_40_0_0
3507_1010_0_57_0_0 <- 2702_1017_0_57_2_0
15886_1014_0_73_0_0 <- 3012_1018_0_73_0_0
8051_1012_0_85_0_0 <- 8242_1012_5_85_0_0
1500_1019_0_53_0_6680 <- 1500_1019_0_53_0_0
2528_1014_0_30_0_0 <- 3140_1010_0_30_0_0
3507_1010_0_89_0_0 <- 2702_1017_0_89_2_0
2528_1014_0_31_0_0 <- 3140_1010_0_31_0_0
3507_1010_0_90_0_0 <- 2702_1017_0_90_2_0
2528_1014_0_32_0_0 <- 3140_1010_0_32_0_0
3507_1010_0_91_0_0 <- 2702_1017_0_91_2_0
3420_1012_0_67_0_0 <- 2525_1016_0_67_2_0
0_0_0_8_0_6492 <- 0_0_0_8_0_0
2528_1014_0_42_0_0 <- 3140_1010_0_42_0_0
2528_1014_0_43_0_0 <- 3140_1010_0_43_0_0
2528_1014_0_44_0_0 <- 3140_1010_0_44_0_0
1500_1019_0_87_0_6463 <- 1500_1019_0_87_0_0
0_0_0_11_0_6881 <- 0_0_0_11_0_0
2525_1015_5_29_2_0 <- 2723_1014_0_29_0_0
2528_1014_0_55_0_0 <- 3140_1010_0_55_0_0
16604_1012_0_24_0_0 <- 16492_1012_0_24_0_0
2528_1014_0_56_0_0 <- 3140_1010_0_56_0_0
2528_1014_0_57_0_0 <- 3140_1010_0_57_0_0
2525_1015_5_41_2_0 <- 2723_1014_0_41_0_0
0_0_0_34_0_6738 <- 0_0_0_34_0_0
16604_1012_0_36_0_0 <- 16492_1012_0_36_0_0
8776_1013_0_72_0_0 <- 8764_1014_0_72_0_0
0_0_0_35_0_6820 <- 0_0_0_35_0_0
15828_1014_0_73_0_0 <- 3012_1018_0_73_0_0
9572_1010_5_25_0_0 <- 9832_1010_0_25_0_0
92_0_0_46_0_0 <- 3507_1011_0_80_0_0 , 0_0_0_80_0_0 , 92_0_0_80_0_5334
2525_1015_5_54_2_0 <- 2723_1014_0_54_0_0
0_0_0_41_0_6780 <- 0_0_0_41_0_0
8242_1012_5_26_0_0 <- 1554_1019_0_26_0_0
0_0_0_42_0_6769 <- 0_0_0_42_0_0
0_0_0_43_0_6758 <- 0_0_0_43_0_0
0_0_0_44_0_6747 <- 0_0_0_44_0_0
16604_1012_0_49_0_0 <- 16492_1012_0_49_0_0
0_0_0_48_0_6709 <- 0_0_0_48_0_0
9572_1010_5_37_0_0 <- 9832_1010_0_37_0_0
64_0_0_46_0_0 <- 2259_1012_0_58_0_0 , 64_0_0_58_0_5207 , 0_0_0_58_0_0
8242_1012_5_38_0_0 <- 1554_1019_0_38_0_0
0_0_0_54_0_6669 <- 0_0_0_54_0_0
10_0_0_7_0_0 <- 10388_1010_0_11_0_0 , 0_0_0_11_0_0 , 10_0_0_11_0_5196
0_0_0_55_0_6658 <- 0_0_0_55_0_0
2528_1014_0_89_0_0 <- 3140_1010_0_89_0_0
0_0_0_56_0_6647 <- 0_0_0_56_0_0
2528_1014_0_90_0_0 <- 3140_1010_0_90_0_0
0_0_0_57_0_6636 <- 0_0_0_57_0_0
2528_1014_0_91_0_0 <- 3140_1010_0_91_0_0
13929_1004_0_61_0_0 <- 14489_1005_5_61_0_0
0_0_0_61_0_6602 <- 0_0_0_61_0_0
9572_1010_5_50_0_0 <- 9832_1010_0_50_0_0
8242_1012_5_51_0_0 <- 1554_1019_0_51_0_0
0_0_0_67_0_6572 <- 0_0_0_67_0_0
0_0_0_68_0_6565 <- 0_0_0_68_0_0
0_0_0_69_0_6558 <- 0_0_0_69_0_0
0_0_0_70_0_6551 <- 0_0_0_70_0_0
2525_1015_5_88_2_0 <- 2723_1014_0_88_0_0
451_1008_0_46_0_0 <- 2116_1004_0_46_0_0
16604_1012_0_83_0_0 <- 16492_1012_0_83_0_0
49_0_0_34_0_0 <- 49_0_0_43_0_5356 , 0_0_0_43_0_0 , 3192_1011_5_43_0_0
0_0_0_88_0_6452 <- 0_0_0_88_0_0
0_0_0_89_0_6441 <- 0_0_0_89_0_0
16546_1012_0_24_0_0 <- 16492_1012_0_24_0_0
0_0_0_90_0_6430 <- 0_0_0_90_0_0
16922_1011_4_15_0_0 <- 16922_1011_5_15_0_0
0_0_0_91_0_6419 <- 0_0_0_91_0_0
9572_1010_5_84_0_0 <- 9832_1010_0_84_0_0
8242_1012_5_85_0_0 <- 1554_1019_0_85_0_0
16546_1012_0_36_0_0 <- 16492_1012_0_36_0_0
854_1008_0_46_2_143 <- 854_1008_0_46_2_0
854_1008_0_46_2_144 <- 854_1008_0_46_2_0
854_1008_0_46_2_149 <- 854_1008_0_46_2_144
854_1008_0_46_2_150 <- 854_1008_0_46_2_144
854_1008_0_46_2_146 <- 854_1008_0_46_2_145
854_1008_0_46_2_147 <- 854_1008_0_46_2_145 , 854_1008_0_46_2_146
854_1008_0_46_2_152 <- 854_1008_0_46_2_150
854_1008_0_46_2_153 <- 854_1008_0_46_2_150
854_1008_0_46_2_155 <- 854_1008_0_46_2_153
854_1008_0_46_2_156 <- 854_1008_0_46_2_153
854_1008_0_46_2_158 <- 854_1008_0_46_2_156
854_1008_0_46_2_159 <- 854_1008_0_46_2_156
854_1008_0_46_2_161 <- 854_1008_0_46_2_159
854_1008_0_46_2_162 <- 854_1008_0_46_2_159
854_1008_0_46_2_164 <- 854_1008_0_46_2_162
854_1008_0_46_2_165 <- 854_1008_0_46_2_162
854_1008_0_46_2_166 <- 854_1008_0_46_2_165
854_1008_0_46_2_167 <- 854_1008_0_46_2_165
854_1008_0_46_2_168 <- 854_1008_0_46_2_167
854_1008_0_46_2_169 <- 854_1008_0_46_2_167
854_1008_0_46_2_170 <- 854_1008_0_46_2_169
854_1008_0_46_2_171 <- 854_1008_0_46_2_169
854_1008_0_46_2_172 <- 854_1008_0_46_2_171
854_1008_0_46_2_173 <- 854_1008_0_46_2_171
6908_1010_5_27_0_0 <- 6908_1010_0_27_0_0
16546_1012_0_49_0_0 <- 16492_1012_0_49_0_0
121_0_0_3_0_0 <- 0_0_0_109_0_0 , 3507_1011_3_109_0_0 , 121_0_0_109_0_5037
6908_1010_5_39_0_0 <- 6908_1010_0_39_0_0
92_0_0_80_0_5334 <- 0_0_0_80_0_0 , 2779_1018_0_80_2_0
0_0_0_5_0_0 <- 5_0_0_0_0_0
14429_1003_0_61_0_0 <- 11914_1008_0_61_2_0
6908_1010_5_52_0_0 <- 6908_1010_0_52_0_0
14437_1000_0_8_0_0 <- 11914_1005_0_8_2_0
107_0_0_95_0_5052 <- 8475_1011_1_95_0_0 , 0_0_0_95_0_0 , 7107_1018_0_95_2_0
14437_1000_0_11_0_0 <- 11914_1005_0_11_2_0
16546_1012_0_83_0_0 <- 16492_1012_0_83_0_0
1407_1019_0_26_0_6869 <- 1407_1019_0_26_0_0
1407_1019_0_38_0_6802 <- 1407_1019_0_38_0_0
14437_1000_0_35_0_0 <- 11914_1005_0_35_2_0
16922_1011_4_94_0_0 <- 16922_1011_5_94_0_0
6908_1010_5_86_0_0 <- 6908_1010_0_86_0_0
3507_1011_1_20_0_0 <- 2640_1018_0_20_2_0
3507_1011_1_21_0_0 <- 2640_1018_0_21_2_0
1407_1019_0_51_0_6691 <- 1407_1019_0_51_0_0
3507_1011_1_22_0_0 <- 2640_1018_0_22_2_0
16922_1011_4_104_0_0 <- 16922_1011_5_104_0_0
14437_1000_0_48_0_0 <- 11914_1005_0_48_2_0
2330_1015_0_30_2_0 <- 3507_1010_5_30_0_0
2330_1015_0_31_2_0 <- 3507_1010_5_31_0_0
2330_1015_0_32_2_0 <- 3507_1010_5_32_0_0
8916_1016_0_63_0_6594 <- 8916_1016_0_63_0_0
1407_1019_0_85_0_6474 <- 1407_1019_0_85_0_0
2330_1015_0_42_2_0 <- 3507_1010_5_42_0_0
2330_1015_0_43_2_0 <- 3507_1010_5_43_0_0
2779_1018_5_68_2_0 <- 0_0_0_68_0_0
2330_1015_0_44_2_0 <- 3507_1010_5_44_0_0
2779_1018_5_69_2_0 <- 0_0_0_69_0_0
2779_1018_5_70_2_0 <- 0_0_0_70_0_0
2779_1018_0_79_2_0 <- 0_0_0_79_0_0
2779_1018_0_80_2_0 <- 0_0_0_80_0_0
2779_1018_0_81_2_0 <- 0_0_0_81_0_0
2330_1015_0_55_2_0 <- 3507_1010_5_55_0_0
2330_1015_0_56_2_0 <- 3507_1010_5_56_0_0
2330_1015_0_57_2_0 <- 3507_1010_5_57_0_0
3507_1011_1_99_0_0 <- 2640_1018_0_99_2_0
1287_1019_0_28_2_0 <- 4287_1010_5_28_0_0
3507_1011_1_100_0_0 <- 2640_1018_0_100_2_0
3507_1011_1_101_0_0 <- 2640_1018_0_101_2_0
2723_1014_0_29_0_0 <- 3376_1010_0_29_0_0
0_0_0_59_0_0 <- 650_1008_0_46_2_136
0_0_0_60_0_0 <- 650_1008_0_46_2_141
3507_1011_1_109_0_0 <- 2640_1018_0_109_2_0
2330_1015_0_89_2_0 <- 3507_1010_5_89_0_0
3507_1011_1_110_0_0 <- 2640_1018_0_110_2_0
2330_1015_0_90_2_0 <- 3507_1010_5_90_0_0
3507_1011_1_111_0_0 <- 2640_1018_0_111_2_0
1554_1019_0_26_0_6870 <- 1554_1019_0_26_0_0
1287_1019_0_40_2_0 <- 4287_1010_5_40_0_0
2330_1015_0_91_2_0 <- 3507_1010_5_91_0_0
4046_1016_0_24_0_0 <- 3855_1016_0_24_0_0
2723_1014_0_41_0_0 <- 3376_1010_0_41_0_0
24808_1017_0_24_2_0 <- 0_0_0_24_0_0
1554_1019_0_38_0_6803 <- 1554_1019_0_38_0_0
1287_1019_0_53_2_0 <- 4287_1010_5_53_0_0
4046_1016_0_36_0_0 <- 3855_1016_0_36_0_0
2723_1014_0_54_0_0 <- 3376_1010_0_54_0_0
24808_1017_0_36_2_0 <- 0_0_0_36_0_0
1554_1019_0_51_0_6692 <- 1554_1019_0_51_0_0
4046_1016_0_49_0_0 <- 3855_1016_0_49_0_0
3781_1011_0_65_0_0 <- 6528_1007_0_65_0_0
24808_1017_0_49_2_0 <- 0_0_0_49_0_0
712_1018_0_46_0_0 <- 517_1018_0_46_0_0
16734_1012_0_36_0_6815 <- 16734_1012_0_36_0_0
1287_1019_0_87_2_0 <- 4287_1010_5_87_0_0
2723_1014_0_88_0_0 <- 3376_1010_0_88_0_0
16734_1012_0_49_0_6704 <- 16734_1012_0_49_0_0
1554_1019_0_85_0_6475 <- 1554_1019_0_85_0_0
2116_1006_7_46_0_0 <- 926_1018_0_46_0_0
4046_1016_0_83_0_0 <- 3855_1016_0_83_0_0
24808_1017_0_83_2_0 <- 0_0_0_83_0_0
3988_1016_0_24_0_0 <- 3855_1016_0_24_0_0
3988_1016_0_36_0_0 <- 3855_1016_0_36_0_0
1703_1014_5_46_2_0 <- 670_1014_0_46_2_0
12621_1006_0_8_0_0 <- 14489_1002_0_8_0_0 , 9709_1011_0_8_0_0
6904_1010_0_27_0_0 <- 6049_1017_0_27_2_0 , 6908_1010_0_27_0_0
12621_1006_0_11_0_0 <- 14489_1002_0_11_0_0 , 9709_1011_0_11_0_0
16734_1012_0_83_0_6487 <- 16734_1012_0_83_0_0
3988_1016_0_49_0_0 <- 3855_1016_0_49_0_0
13179_1018_0_61_2_0 <- 0_0_0_61_0_0
6904_1010_0_39_0_0 <- 6049_1017_0_39_2_0 , 6908_1010_0_39_0_0
54_0_0_46_0_0 <- 54_0_0_48_0_5265 , 10388_1010_0_48_0_0 , 0_0_0_48_0_0
12621_1006_0_35_0_0 <- 14489_1002_0_35_0_0 , 9709_1011_0_35_0_0
6904_1010_0_52_0_0 <- 6049_1017_0_52_2_0 , 6908_1010_0_52_0_0
13179_1018_5_72_2_0 <- 0_0_0_72_0_0
14489_1002_5_8_0_6498 <- 14489_1002_5_8_0_0
12621_1006_0_48_0_0 <- 14489_1002_0_48_0_0 , 9709_1011_0_48_0_0
3988_1016_0_83_0_0 <- 3855_1016_0_83_0_0
3132_1010_0_30_0_0 <- 3192_1011_0_30_0_0
9832_1011_0_63_0_0 <- 16227_1007_0_63_0_0
3132_1010_0_31_0_0 <- 3192_1011_0_31_0_0
3132_1010_0_32_0_0 <- 3192_1011_0_32_0_0
3132_1010_0_42_0_0 <- 3192_1011_0_42_0_0
650_1008_0_46_2_136 <- 650_1008_0_46_2_0
650_1008_0_46_2_137 <- 650_1008_0_46_2_0
650_1008_0_46_2_141 <- 650_1008_0_46_2_137
650_1008_0_46_2_142 <- 650_1008_0_46_2_137
650_1008_0_46_2_139 <- 650_1008_0_46_2_138
650_1008_0_46_2_140 <- 650_1008_0_46_2_138 , 650_1008_0_46_2_139
3132_1010_0_43_0_0 <- 3192_1011_0_43_0_0
3132_1010_0_44_0_0 <- 3192_1011_0_44_0_0
74_0_0_46_0_0 <- 3785_1011_0_65_0_0 , 0_0_0_65_0_0 , 74_0_0_65_0_5296
6904_1010_0_86_0_0 <- 6049_1017_0_86_2_0 , 6908_1010_0_86_0_0
14489_1002_5_35_0_6826 <- 14489_1002_5_35_0_0
4498_1015_0_27_0_0 <- 6908_1010_5_27_0_0
4017_1008_0_7_2_15 <- 4017_1008_0_7_2_14
4017_1008_0_7_2_16 <- 4017_1008_0_7_2_14 , 4017_1008_0_7_2_15
4017_1008_0_7_2_201 <- 4017_1008_0_7_2_13
4017_1008_0_7_2_202 <- 4017_1008_0_7_2_13
4017_1008_0_7_2_203 <- 4017_1008_0_7_2_202
4017_1008_0_7_2_204 <- 4017_1008_0_7_2_202
4017_1008_0_7_2_205 <- 4017_1008_0_7_2_204
4017_1008_0_7_2_206 <- 4017_1008_0_7_2_204
4017_1008_0_7_2_207 <- 4017_1008_0_7_2_206
4017_1008_0_7_2_208 <- 4017_1008_0_7_2_206
4017_1008_0_7_2_209 <- 4017_1008_0_7_2_208
4017_1008_0_7_2_210 <- 4017_1008_0_7_2_208
4017_1008_0_7_2_211 <- 4017_1008_0_7_2_210
4017_1008_0_7_2_212 <- 4017_1008_0_7_2_210
4017_1008_0_7_2_213 <- 4017_1008_0_7_2_212
4017_1008_0_7_2_214 <- 4017_1008_0_7_2_212
4017_1008_0_7_2_215 <- 4017_1008_0_7_2_214
4017_1008_0_7_2_216 <- 4017_1008_0_7_2_214
4017_1008_0_7_2_217 <- 4017_1008_0_7_2_216
4017_1008_0_7_2_218 <- 4017_1008_0_7_2_216
4017_1008_0_7_2_219 <- 4017_1008_0_7_2_218
4017_1008_0_7_2_220 <- 4017_1008_0_7_2_218
5056_1012_0_27_0_0 <- 3785_1010_0_27_0_0
3132_1010_0_55_0_0 <- 3192_1011_0_55_0_0
3132_1010_0_56_0_0 <- 3192_1011_0_56_0_0
3132_1010_0_57_0_0 <- 3192_1011_0_57_0_0
14489_1002_5_48_0_6715 <- 14489_1002_5_48_0_0
4498_1015_0_39_0_0 <- 6908_1010_5_39_0_0
4287_1011_3_18_0_0 <- 4287_1011_1_18_0_0
5056_1012_0_39_0_0 <- 3785_1010_0_39_0_0
265_1015_0_34_0_0 <- 254_1009_0_34_2_86
4498_1015_0_52_0_0 <- 6908_1010_5_52_0_0
7246_1018_1_64_2_0 <- 0_0_0_64_0_0
5056_1012_0_52_0_0 <- 3785_1010_0_52_0_0
2779_1018_5_68_2_6566 <- 2779_1018_5_68_2_0
7246_1018_0_75_2_0 <- 0_0_0_75_0_0
2779_1018_5_69_2_6559 <- 2779_1018_5_69_2_0
2779_1018_5_70_2_6552 <- 2779_1018_5_70_2_0
3132_1010_0_89_0_0 <- 3192_1011_0_89_0_0
3132_1010_0_90_0_0 <- 3192_1011_0_90_0_0
3132_1010_0_91_0_0 <- 3192_1011_0_91_0_0
2525_1015_0_29_2_0 <- 3743_1010_5_29_0_0
9774_1011_0_63_0_0 <- 16227_1007_0_63_0_0
4498_1015_0_86_0_0 <- 6908_1010_5_86_0_0
2525_1015_0_41_2_0 <- 3743_1010_5_41_0_0
5056_1012_0_86_0_0 <- 3785_1010_0_86_0_0
3184_1012_0_68_0_0 <- 2330_1016_0_68_2_0
3184_1012_0_69_0_0 <- 2330_1016_0_69_2_0
3184_1012_0_70_0_0 <- 2330_1016_0_70_2_0
14481_1003_0_8_0_0 <- 12667_1007_0_8_2_0
14481_1003_0_11_0_0 <- 12667_1007_0_11_2_0
2525_1015_0_54_2_0 <- 3743_1010_5_54_0_0
10040_1010_0_8_0_6501 <- 10040_1010_0_8_0_0
2897_1017_0_41_2_6781 <- 2897_1017_0_41_2_0
4287_1011_3_97_0_0 <- 4287_1011_1_97_0_0
14481_1003_0_35_0_0 <- 12667_1007_0_35_2_0
4287_1011_3_107_0_0 <- 4287_1011_1_107_0_0
2897_1017_0_54_2_6670 <- 2897_1017_0_54_2_0
2525_1015_0_88_2_0 <- 3743_1010_5_88_0_0
14481_1003_0_48_0_0 <- 12667_1007_0_48_2_0
10040_1010_0_35_0_6829 <- 10040_1010_0_35_0_0
10040_1010_0_48_0_6718 <- 10040_1010_0_48_0_0
2702_1017_0_30_2_0 <- 0_0_0_30_0_0
2702_1017_0_31_2_0 <- 0_0_0_31_0_0
2702_1017_0_32_2_0 <- 0_0_0_32_0_0
2897_1017_0_88_2_6453 <- 2897_1017_0_88_2_0
2702_1017_0_42_2_0 <- 0_0_0_42_0_0
2702_1017_0_43_2_0 <- 0_0_0_43_0_0
2702_1017_0_44_2_0 <- 0_0_0_44_0_0
2702_1017_0_55_2_0 <- 0_0_0_55_0_0
2702_1017_0_56_2_0 <- 0_0_0_56_0_0
2702_1017_0_57_2_0 <- 0_0_0_57_0_0
916_1018_0_46_0_6508 <- 916_1018_0_46_0_0
0_0_0_11_0_0 <- 4401_1008_0_7_2_22
0_0_0_24_0_0 <- 4401_1008_0_7_2_52
0_0_0_25_0_0 <- 4401_1008_0_7_2_55
0_0_0_26_0_0 <- 4401_1008_0_7_2_58
0_0_0_27_0_0 <- 4401_1008_0_7_2_62
0_0_0_28_0_0 <- 4401_1008_0_7_2_65
0_0_0_29_0_0 <- 4401_1008_0_7_2_68
0_0_0_30_0_0 <- 4401_1008_0_7_2_70
0_0_0_31_0_0 <- 4401_1008_0_7_2_72
0_0_0_32_0_0 <- 4401_1008_0_7_2_74
0_0_0_33_0_0 <- 4401_1008_0_7_2_76
4056_1015_0_28_0_0 <- 1500_1019_0_28_0_0
1078_1014_0_46_2_0 <- 1058_1008_0_46_2_179
4056_1015_0_40_0_0 <- 1500_1019_0_40_0_0
2702_1017_0_89_2_0 <- 0_0_0_89_0_0
2702_1017_0_90_2_0 <- 0_0_0_90_0_0
4056_1015_0_53_0_0 <- 1500_1019_0_53_0_0
2702_1017_0_91_2_0 <- 0_0_0_91_0_0
9516_1011_0_8_0_0 <- 12000_1005_0_8_0_0
9516_1011_0_11_0_0 <- 12000_1005_0_11_0_0
20_0_0_12_0_0 <- 0_0_0_20_0_0 , 3507_1011_3_20_0_0 , 20_0_0_20_0_5059
6572_1007_0_27_0_0 <- 5060_1012_5_27_2_0
9516_1011_0_35_0_0 <- 12000_1005_0_35_0_0
6572_1007_0_39_0_0 <- 5060_1012_5_39_2_0
4056_1015_0_87_0_0 <- 1500_1019_0_87_0_0
9516_1011_0_48_0_0 <- 12000_1005_0_48_0_0
6572_1007_0_52_0_0 <- 5060_1012_5_52_2_0
16492_1014_0_62_0_0 <- 11859_1018_0_62_0_0
12000_1005_0_8_0_0 <- 11995_1004_0_8_0_0 , 11906_1005_0_8_0_0
12000_1005_0_11_0_0 <- 11995_1004_0_11_0_0 , 11906_1005_0_11_0_0
2461_1011_0_82_0_0 <- 2059_1018_0_82_2_0
13102_1017_0_8_2_0 <- 0_0_0_8_0_0
6572_1007_0_86_0_0 <- 5060_1012_5_86_2_0
13102_1017_0_11_2_0 <- 0_0_0_11_0_0
447_1017_0_34_2_0 <- 0_0_0_34_0_0
2194_1010_0_46_0_0 <- 1747_1017_0_46_2_0
12000_1005_0_35_0_0 <- 11995_1004_0_35_0_0 , 11906_1005_0_35_0_0
12000_1005_0_48_0_0 <- 11995_1004_0_48_0_0 , 11906_1005_0_48_0_0
13102_1017_0_35_2_0 <- 0_0_0_35_0_0
8764_1014_0_72_0_0 <- 2188_1019_0_72_0_0
16434_1014_0_62_0_0 <- 11859_1018_0_62_0_0
13102_1017_0_48_2_0 <- 0_0_0_48_0_0
1662_1014_5_46_2_0 <- 1078_1014_0_46_2_0
4058_1015_0_27_0_0 <- 4000_1015_0_27_0_0
2116_1006_1_46_0_0 <- 527_1018_0_46_0_0
4058_1015_0_39_0_0 <- 4000_1015_0_39_0_0
5047_1020_0_61_0_0 <- 14864_1011_5_61_0_0
8051_1013_0_64_0_0 <- 8242_1013_0_64_0_0
4058_1015_0_52_0_0 <- 4000_1015_0_52_0_0
16219_1007_0_63_0_0 <- 16386_1006_0_63_0_0
7169_1017_0_26_2_0 <- 0_0_0_26_0_0
12667_1007_0_8_2_0 <- 9562_1011_0_8_0_0
12667_1007_0_11_2_0 <- 9562_1011_0_11_0_0
7169_1017_0_38_2_0 <- 0_0_0_38_0_0
3855_1016_0_24_0_0 <- 3713_1017_0_24_0_0
4058_1015_0_86_0_0 <- 4000_1015_0_86_0_0
7169_1017_0_51_2_0 <- 0_0_0_51_0_0
32962_1011_4_14_0_0 <- 32962_1011_2_14_0_0
12667_1007_0_35_2_0 <- 9562_1011_0_35_0_0
3855_1016_0_36_0_0 <- 3713_1017_0_36_0_0
8475_1010_0_26_0_0 <- 7169_1017_0_26_2_0
2461_1011_5_71_0_0 <- 2059_1018_5_71_2_0
12667_1007_0_48_2_0 <- 9562_1011_0_48_0_0
8475_1010_0_38_0_0 <- 7169_1017_0_38_2_0
3855_1016_0_49_0_0 <- 3713_1017_0_49_0_0
32383_1003_0_24_0_0 <- 32443_998_0_24_0_0
7169_1017_0_85_2_0 <- 0_0_0_85_0_0
8475_1010_0_51_0_0 <- 7169_1017_0_51_2_0
3376_1011_0_67_0_6575 <- 3376_1011_0_67_0_0
32383_1003_0_36_0_0 <- 32443_998_0_36_0_0
32383_1003_0_49_0_0 <- 32443_998_0_49_0_0
3855_1016_0_83_0_0 <- 3713_1017_0_83_0_0
3797_1016_0_24_0_0 <- 3713_1017_0_24_0_0
3507_1010_5_30_0_0 <- 3507_1010_0_30_0_0
3507_1010_5_31_0_0 <- 3507_1010_0_31_0_0
3507_1010_5_32_0_0 <- 3507_1010_0_32_0_0
8475_1010_0_85_0_0 <- 7169_1017_0_85_2_0
926_1018_0_46_0_0 <- 916_1018_0_46_0_0
3507_1010_0_42_0_6771 <- 3507_1010_0_42_0_0
3507_1010_0_43_0_6760 <- 3507_1010_0_43_0_0
3507_1010_0_44_0_6749 <- 3507_1010_0_44_0_0
3797_1016_0_36_0_0 <- 3713_1017_0_36_0_0
3507_1010_5_42_0_0 <- 3507_1010_0_42_0_0
3507_1010_5_43_0_0 <- 3507_1010_0_43_0_0
11995_1004_0_8_0_0 <- 14437_1000_0_8_0_0
3507_1010_5_44_0_0 <- 3507_1010_0_44_0_0
11995_1004_0_11_0_0 <- 14437_1000_0_11_0_0
32962_1011_4_93_0_0 <- 32962_1011_2_93_0_0
874_1014_0_46_2_0 <- 854_1008_0_46_2_147
3507_1010_0_55_0_6660 <- 3507_1010_0_55_0_0
3507_1010_0_56_0_6649 <- 3507_1010_0_56_0_0
32383_1003_0_83_0_0 <- 32443_998_0_83_0_0
3507_1010_0_57_0_6638 <- 3507_1010_0_57_0_0
3797_1016_0_49_0_0 <- 3713_1017_0_49_0_0
475_1014_0_46_2_6724 <- 475_1014_0_46_2_0
3507_1010_5_55_0_0 <- 3507_1010_0_55_0_0
3507_1010_5_56_0_0 <- 3507_1010_0_56_0_0
3507_1010_5_57_0_0 <- 3507_1010_0_57_0_0
32962_1011_4_103_0_0 <- 32962_1011_2_103_0_0
14489_1005_0_61_0_0 <- 12667_1009_0_61_2_0
88_0_0_76_0_5338 <- 0_0_0_76_0_0 , 6908_1011_0_76_0_0 , 4000_1016_0_76_0_0 , 6126_1018_0_76_2_0
11995_1004_0_35_0_0 <- 14437_1000_0_35_0_0
2311_1012_5_33_0_6844 <- 2311_1012_5_33_0_0
2311_1012_5_45_0_6743 <- 2311_1012_5_45_0_0
11995_1004_0_48_0_0 <- 14437_1000_0_48_0_0
3507_1010_0_89_0_6443 <- 3507_1010_0_89_0_0
3507_1010_0_90_0_6432 <- 3507_1010_0_90_0_0
3507_1010_0_91_0_6421 <- 3507_1010_0_91_0_0
3797_1016_0_83_0_0 <- 3713_1017_0_83_0_0
3507_1010_5_89_0_0 <- 3507_1010_0_89_0_0
1_0_0_1_0_1 <- 0_0_0_0_0_0
3507_1010_5_90_0_0 <- 3507_1010_0_90_0_0
3507_1010_5_91_0_0 <- 3507_1010_0_91_0_0
2311_1012_5_58_0_6632 <- 2311_1012_5_58_0_0
13179_1018_0_61_2_6603 <- 13179_1018_0_61_2_0
2311_1012_5_92_0_6415 <- 2311_1012_5_92_0_0
2528_1015_0_68_0_0 <- 3140_1011_0_68_0_0
2528_1015_0_69_0_0 <- 3140_1011_0_69_0_0
8521_1010_0_26_0_60 <- 8475_1010_5_26_0_0
2528_1015_0_70_0_0 <- 3140_1011_0_70_0_0
12861_1005_0_11_0_0 <- 13929_1001_0_11_0_0 , 13929_1001_5_11_0_0
12861_1005_0_8_0_0 <- 13929_1001_0_8_0_6499 , 13929_1001_5_8_0_6502
8521_1010_0_38_0_60 <- 8475_1010_5_38_0_0
242_1008_0_46_2_109 <- 242_1008_0_46_2_0
242_1008_0_46_2_110 <- 242_1008_0_46_2_0
113_0_0_5_0_0 <- 113_0_0_101_0_5046 , 0_0_0_101_0_0 , 3507_1011_3_101_0_0
4287_1011_0_77_0_0 <- 3643_1018_0_77_2_0
8521_1010_0_51_0_60 <- 8475_1010_5_51_0_0
3507_1010_5_42_0_6772 <- 3507_1010_5_42_0_0
3507_1010_5_43_0_6761 <- 3507_1010_5_43_0_0
12861_1005_0_35_0_0 <- 13929_1001_0_35_0_6827 , 13929_1001_5_35_0_6830
3507_1010_5_44_0_6750 <- 3507_1010_5_44_0_0
1283_1019_0_28_0_0 <- 4287_1010_5_28_0_0
3507_1010_5_55_0_6661 <- 3507_1010_5_55_0_0
3507_1010_5_56_0_6650 <- 3507_1010_5_56_0_0
32962_1011_0_62_0_0 <- 25420_1018_0_62_2_0
12861_1005_0_48_0_0 <- 13929_1001_0_48_0_6716 , 13929_1001_5_48_0_6719
3507_1010_5_57_0_6639 <- 3507_1010_5_57_0_0
1283_1019_0_40_0_0 <- 4287_1010_5_40_0_0
8475_1011_1_16_0_0 <- 7107_1018_0_16_2_0
14489_1005_5_61_0_0 <- 12667_1009_5_61_2_0
8521_1010_0_85_0_60 <- 8475_1010_5_85_0_0
18110_1009_0_62_0_0 <- 32391_1005_0_62_0_0
24804_1017_0_24_0_0 <- 0_0_0_24_0_0
93_0_0_81_0_5333 <- 0_0_0_81_0_0 , 2779_1018_0_81_2_0
1283_1019_0_53_0_0 <- 4287_1010_5_53_0_0
3308_1019_0_8_0_6497 <- 3308_1019_0_8_0_0
3308_1019_0_11_0_6886 <- 3308_1019_0_11_0_0
12667_1009_5_61_2_0 <- 14489_1005_0_61_0_0
24804_1017_0_36_0_0 <- 0_0_0_36_0_0
10941_1013_0_61_0_148 <- 12000_1008_0_61_0_0
3507_1010_5_89_0_6444 <- 3507_1010_5_89_0_0
3507_1010_5_90_0_6433 <- 3507_1010_5_90_0_0
24804_1017_0_49_0_0 <- 0_0_0_49_0_0
3507_1010_5_91_0_6422 <- 3507_1010_5_91_0_0
11914_1005_0_8_2_0 <- 9331_1013_0_8_0_0
11914_1005_0_11_2_0 <- 9331_1013_0_11_0_0
3308_1019_0_35_0_6825 <- 3308_1019_0_35_0_0
242_1008_0_46_2_0 <- 2116_1006_0_46_0_0
1283_1019_0_87_0_0 <- 4287_1010_5_87_0_0
3308_1019_0_48_0_6714 <- 3308_1019_0_48_0_0
11914_1005_0_35_2_0 <- 9331_1013_0_35_0_0
24804_1017_0_83_0_0 <- 0_0_0_83_0_0
1363_1019_0_28_0_0 <- 1287_1019_0_28_2_0
18052_1009_0_62_0_0 <- 32391_1005_0_62_0_0
2116_1004_0_46_0_0 <- 2116_1005_0_46_0_0
11914_1005_0_48_2_0 <- 9331_1013_0_48_0_0
1699_1014_0_46_0_0 <- 670_1014_0_46_2_0
8475_1011_1_95_0_0 <- 7107_1018_0_95_2_0
1363_1019_0_40_0_0 <- 1287_1019_0_40_2_0
8310_1015_0_25_0_0 <- 8198_1015_0_25_0_0
8475_1011_1_105_0_0 <- 7107_1018_0_105_2_0
24746_1018_0_14_2_0 <- 0_0_0_14_0_0
1363_1019_0_53_0_0 <- 1287_1019_0_53_2_0
8310_1015_0_37_0_0 <- 8198_1015_0_37_0_0
1407_1019_0_26_0_0 <- 8475_1010_5_26_0_0
8310_1015_0_50_0_0 <- 8198_1015_0_50_0_0
4287_1011_5_66_0_0 <- 3643_1018_5_66_2_0
1407_1019_0_38_0_0 <- 8475_1010_5_38_0_0
722_1018_0_46_0_0 <- 712_1018_0_46_0_0
1363_1019_0_87_0_0 <- 1287_1019_0_87_2_0
4401_1008_0_7_2_52 <- 4401_1008_0_7_2_23
4401_1008_0_7_2_53 <- 4401_1008_0_7_2_23
4401_1008_0_7_2_25 <- 4401_1008_0_7_2_24
4401_1008_0_7_2_26 <- 4401_1008_0_7_2_24 , 4401_1008_0_7_2_25
4401_1008_0_7_2_55 <- 4401_1008_0_7_2_53
4401_1008_0_7_2_56 <- 4401_1008_0_7_2_53
4401_1008_0_7_2_58 <- 4401_1008_0_7_2_56
4401_1008_0_7_2_59 <- 4401_1008_0_7_2_56
4401_1008_0_7_2_62 <- 4401_1008_0_7_2_59
4401_1008_0_7_2_63 <- 4401_1008_0_7_2_59
4401_1008_0_7_2_65 <- 4401_1008_0_7_2_63
4401_1008_0_7_2_66 <- 4401_1008_0_7_2_63
4401_1008_0_7_2_68 <- 4401_1008_0_7_2_66
4401_1008_0_7_2_69 <- 4401_1008_0_7_2_66
4401_1008_0_7_2_70 <- 4401_1008_0_7_2_69
4401_1008_0_7_2_71 <- 4401_1008_0_7_2_69
4401_1008_0_7_2_72 <- 4401_1008_0_7_2_71
4401_1008_0_7_2_73 <- 4401_1008_0_7_2_71
4401_1008_0_7_2_74 <- 4401_1008_0_7_2_73
4401_1008_0_7_2_75 <- 4401_1008_0_7_2_73
4401_1008_0_7_2_76 <- 4401_1008_0_7_2_75
4401_1008_0_7_2_77 <- 4401_1008_0_7_2_75
1407_1019_0_51_0_0 <- 8475_1010_5_51_0_0
670_1014_0_46_2_0 <- 650_1008_0_46_2_140
21181_1006_0_24_0_0 <- 18110_1007_0_24_0_0
8310_1015_0_84_0_0 <- 8198_1015_0_84_0_0
4494_1015_0_27_0_0 <- 6908_1010_5_27_0_0
8252_1015_0_25_0_0 <- 8198_1015_0_25_0_0
2330_1016_0_68_2_0 <- 3507_1011_5_68_0_0
2330_1016_0_69_2_0 <- 3507_1011_5_69_0_0
32435_1000_0_62_0_0 <- 21181_1004_0_62_0_0
2330_1016_0_70_2_0 <- 3507_1011_5_70_0_0
21181_1006_0_36_0_0 <- 18110_1007_0_36_0_0
5060_1011_5_27_2_0 <- 4498_1015_0_27_0_0
4494_1015_0_39_0_0 <- 6908_1010_5_39_0_0
32962_1011_5_73_0_0 <- 25420_1018_5_73_2_0
2059_1018_5_71_2_0 <- 0_0_0_71_0_0
8252_1015_0_37_0_0 <- 8198_1015_0_37_0_0
21181_1006_0_49_0_0 <- 18110_1007_0_49_0_0
1407_1019_0_85_0_0 <- 8475_1010_5_85_0_0
1069_1014_0_46_0_0 <- 1058_1008_0_46_2_179
24746_1018_0_93_2_0 <- 0_0_0_93_0_0
2059_1018_0_82_2_0 <- 0_0_0_82_0_0
5060_1011_5_39_2_0 <- 4498_1015_0_39_0_0
4494_1015_0_52_0_0 <- 6908_1010_5_52_0_0
3376_1010_0_29_0_0 <- 3428_1011_0_29_0_0
7242_1018_0_64_0_0 <- 0_0_0_64_0_0
8252_1015_0_50_0_0 <- 8198_1015_0_50_0_0
32391_1005_0_62_0_0 <- 32443_1000_0_62_0_0
24746_1018_0_103_2_0 <- 0_0_0_103_0_0
5060_1011_5_52_2_0 <- 4498_1015_0_52_0_0
3376_1010_0_41_0_0 <- 3428_1011_0_41_0_0
3376_1010_0_54_0_0 <- 3428_1011_0_54_0_0
21181_1006_0_83_0_0 <- 18110_1007_0_83_0_0
2723_1015_0_67_0_0 <- 3376_1011_0_67_0_0
4494_1015_0_86_0_0 <- 6908_1010_5_86_0_0
8252_1015_0_84_0_0 <- 8198_1015_0_84_0_0
4161_1008_0_7_2_20 <- 4161_1008_0_7_2_19
4161_1008_0_7_2_21 <- 4161_1008_0_7_2_19 , 4161_1008_0_7_2_20
4161_1008_0_7_2_80 <- 4161_1008_0_7_2_18
4161_1008_0_7_2_81 <- 4161_1008_0_7_2_18
4161_1008_0_7_2_107 <- 4161_1008_0_7_2_81
4161_1008_0_7_2_108 <- 4161_1008_0_7_2_81
5060_1011_5_86_2_0 <- 4498_1015_0_86_0_0
6908_1011_2_17_0_0 <- 6908_1011_7_17_0_0
3376_1010_0_88_0_0 <- 3428_1011_0_88_0_0
11290_1013_0_61_0_6610 <- 11290_1013_0_61_0_0
4498_1016_0_65_0_0 <- 6908_1011_1_65_0_0
2311_1012_0_33_0_0 <- 802_1019_0_33_0_0
2116_1006_3_46_0_0 <- 722_1018_0_46_0_0
2311_1012_0_45_0_0 <- 802_1019_0_45_0_0
16386_1005_0_25_0_0 <- 9572_1009_0_25_0_0
2311_1012_0_58_0_0 <- 802_1019_0_58_0_0
16386_1005_0_37_0_0 <- 9572_1009_0_37_0_0
6908_1011_2_96_0_0 <- 6908_1011_7_96_0_0
16386_1005_0_50_0_0 <- 9572_1009_0_50_0_0
6908_1011_2_106_0_0 <- 6908_1011_7_106_0_0
2311_1012_0_92_0_0 <- 802_1019_0_92_0_0
119_1018_0_46_0_0 <- 2116_1008_0_46_0_0
2108_1008_0_46_0_0 <- 2194_1010_0_46_0_0
16386_1005_0_84_0_0 <- 9572_1009_0_84_0_0
0_0_0_8_0_0 <- 4017_1008_0_7_2_12
0_0_0_83_0_0 <- 4017_1008_0_7_2_201
0_0_0_84_0_0 <- 4017_1008_0_7_2_203
0_0_0_85_0_0 <- 4017_1008_0_7_2_205
0_0_0_86_0_0 <- 4017_1008_0_7_2_207
0_0_0_87_0_0 <- 4017_1008_0_7_2_209
0_0_0_88_0_0 <- 4017_1008_0_7_2_211
0_0_0_89_0_0 <- 4017_1008_0_7_2_213
11638_1013_0_61_0_0 <- 12907_1008_0_61_0_6609 , 12907_1008_5_61_0_0
0_0_0_90_0_0 <- 4017_1008_0_7_2_215
0_0_0_91_0_0 <- 4017_1008_0_7_2_217
0_0_0_92_0_0 <- 4017_1008_0_7_2_219
3132_1011_0_68_0_0 <- 3192_1012_0_68_0_0
3132_1011_0_69_0_0 <- 3192_1012_0_69_0_0
3132_1011_0_70_0_0 <- 3192_1012_0_70_0_0
274_1015_0_34_2_6835 <- 274_1015_0_34_2_0
2640_1018_0_20_2_0 <- 0_0_0_20_0_0
2640_1018_0_21_2_0 <- 0_0_0_21_0_0
2640_1018_0_22_2_0 <- 0_0_0_22_0_0
16734_1012_0_24_0_0 <- 16604_1012_0_24_0_0
16922_1011_1_63_0_0 <- 13607_1018_5_63_2_0
15998_1014_0_73_0_0 <- 15886_1014_0_73_0_0
16734_1012_0_36_0_0 <- 16604_1012_0_36_0_0
16734_1012_0_49_0_0 <- 16604_1012_0_49_0_0
172_1017_0_10_2_0 <- 0_0_0_10_0_0
2525_1016_0_67_2_0 <- 3743_1011_5_67_0_0
2190_1010_0_46_0_0 <- 1747_1017_0_46_2_0
16734_1012_0_83_0_0 <- 16604_1012_0_83_0_0
16676_1012_0_24_0_0 <- 16604_1012_0_24_0_0
2640_1018_0_99_2_0 <- 0_0_0_99_0_0
15940_1014_0_73_0_0 <- 15886_1014_0_73_0_0
2640_1018_0_100_2_0 <- 0_0_0_100_0_0
2640_1018_0_101_2_0 <- 0_0_0_101_0_0
16676_1012_0_36_0_0 <- 16604_1012_0_36_0_0
16922_1011_6_74_0_0 <- 13607_1018_7_74_2_0
2640_1018_0_109_2_0 <- 0_0_0_109_0_0
2640_1018_0_110_2_0 <- 0_0_0_110_0_0
2640_1018_0_111_2_0 <- 0_0_0_111_0_0
6580_1006_5_39_0_6798 <- 6580_1006_5_39_0_0
16676_1012_0_49_0_0 <- 16604_1012_0_49_0_0
6580_1006_5_52_0_6687 <- 6580_1006_5_52_0_0
865_1014_0_46_0_0 <- 854_1008_0_46_2_147
4054_1015_0_27_0_0 <- 4000_1015_0_27_0_0
32443_1002_0_24_0_0 <- 21181_1006_0_24_0_0
9572_1009_0_25_0_0 <- 8916_1015_0_25_0_0
4054_1015_0_39_0_0 <- 4000_1015_0_39_0_0
32443_1002_0_36_0_0 <- 21181_1006_0_36_0_0
517_1018_0_46_0_0 <- 304_1018_0_46_0_0
9572_1009_0_37_0_0 <- 8916_1015_0_37_0_0
11949_1007_0_61_0_0 <- 14437_1003_0_61_0_0
1982_1017_0_33_2_0 <- 0_0_0_33_0_0
2974_1018_5_67_2_0 <- 0_0_0_67_0_0
16676_1012_0_83_0_0 <- 16604_1012_0_83_0_0
4054_1015_0_52_0_0 <- 4000_1015_0_52_0_0
2974_1018_0_78_2_0 <- 0_0_0_78_0_0
32443_1002_0_49_0_0 <- 21181_1006_0_49_0_0
9572_1009_0_50_0_0 <- 8916_1015_0_50_0_0
6580_1006_5_86_0_6470 <- 6580_1006_5_86_0_0
1982_1017_0_45_2_0 <- 0_0_0_45_0_0
7165_1017_0_26_0_0 <- 0_0_0_26_0_0
13040_1018_0_4_2_0 <- 0_0_0_4_0_0
13040_1018_0_6_2_0 <- 0_0_0_6_0_0
3012_1018_0_73_0_0 <- 2870_1019_0_73_0_0
1982_1017_0_58_2_0 <- 0_0_0_58_0_0
13040_1018_0_13_2_0 <- 0_0_0_13_0_0
3743_1011_0_78_0_0 <- 2974_1018_0_78_2_0
916_1018_0_46_0_0 <- 712_1018_0_46_0_0
7165_1017_0_38_0_0 <- 0_0_0_38_0_0
14864_1011_5_61_0_0 <- 13179_1018_0_61_2_0
4054_1015_0_86_0_0 <- 4000_1015_0_86_0_0
7165_1017_0_51_0_0 <- 0_0_0_51_0_0
32443_1002_0_83_0_0 <- 21181_1006_0_83_0_0
9572_1009_0_84_0_0 <- 8916_1015_0_84_0_0
8804_1015_0_25_0_0 <- 16922_1010_5_25_0_0
21181_1004_0_62_0_0 <- 16734_1014_0_62_0_0
16492_1012_0_24_0_0 <- 4046_1016_0_24_0_0
2457_1011_0_71_0_0 <- 2059_1018_5_71_2_0
1982_1017_0_92_2_0 <- 0_0_0_92_0_0
8804_1015_0_37_0_0 <- 16922_1010_5_37_0_0
16492_1012_0_36_0_0 <- 4046_1016_0_36_0_0
8916_1014_0_72_0_0 <- 8906_1013_0_72_0_0
8242_1012_0_26_0_0 <- 1407_1019_0_26_0_0
8804_1015_0_50_0_0 <- 16922_1010_5_50_0_0
7165_1017_0_85_0_0 <- 0_0_0_85_0_0
16492_1012_0_49_0_0 <- 4046_1016_0_49_0_0
8242_1012_0_38_0_0 <- 1407_1019_0_38_0_0
13929_1001_0_8_0_0 <- 14489_1002_5_8_0_0
8198_1016_0_74_0_0 <- 16922_1011_6_74_0_0
13929_1001_0_11_0_0 <- 14489_1002_5_11_0_0
2954_1018_0_73_0_0 <- 2870_1019_0_73_0_0
8242_1012_0_51_0_0 <- 1407_1019_0_51_0_0
7107_1018_0_16_2_0 <- 0_0_0_16_0_0
8804_1015_0_84_0_0 <- 16922_1010_5_84_0_0
13929_1001_0_35_0_0 <- 14489_1002_5_35_0_0
16492_1012_0_83_0_0 <- 4046_1016_0_83_0_0
8746_1015_0_25_0_0 <- 16922_1010_5_25_0_0
16434_1012_0_24_0_0 <- 4046_1016_0_24_0_0
13929_1001_0_48_0_0 <- 14489_1002_5_48_0_0
8746_1015_0_37_0_0 <- 16922_1010_5_37_0_0
8242_1012_0_85_0_0 <- 1407_1019_0_85_0_0
16434_1012_0_36_0_0 <- 4046_1016_0_36_0_0
2188_1019_0_72_0_0 <- 14864_1011_3_72_0_0
8746_1015_0_50_0_0 <- 16922_1010_5_50_0_0
16434_1012_0_49_0_0 <- 4046_1016_0_49_0_0
6908_1011_0_76_0_0 <- 6126_1018_0_76_2_0
8140_1016_0_74_0_0 <- 16922_1011_6_74_0_0
8916_1015_0_25_0_0 <- 8804_1015_0_25_0_0
14429_1000_0_8_0_0 <- 11914_1005_0_8_2_0
4000_1016_0_76_0_0 <- 6908_1011_0_76_0_0
14429_1000_0_11_0_0 <- 11914_1005_0_11_2_0
0_0_0_0_0_0 <-